arxiv: 2605.13838 · v2 · submitted 2026-05-13 · 💻 cs.CV · cs.GR· cs.LG

Recognition: 1 theorem link

· Lean Theorem

R-DMesh: Video-Guided 3D Animation via Rectified Dynamic Mesh Flow

Zijie Wu , Lixin Xu , Puhua Jiang , Sicong Liu , Chunchao Guo , Xiang Bai

Authors on Pith no claims yet

Pith reviewed 2026-05-15 06:05 UTC · model grok-4.3

classification 💻 cs.CV cs.GRcs.LG

keywords video-guided animationdynamic meshpose alignmentrectification offsetVAETriflow Attention4D generationrectified flow

0 comments

The pith

A learned rectification jump offset aligns arbitrary input mesh poses to video starting frames before animation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper targets the pose misalignment problem where a user-provided static 3D mesh rarely matches the first frame of a guiding video, which normally causes distortions or failures in animation. R-DMesh introduces a VAE that disentangles the input into a base mesh, relative motion trajectories, and a rectification jump offset. This offset is trained to automatically transform the mesh pose to fit the video start. Triflow Attention then enforces physical consistency and local rigidity across the flows, while a Rectified Flow Diffusion Transformer generates the 4D output conditioned on video latents. A new Video-RDMesh dataset with over 500k misaligned sequences supports training for practical downstream tasks like pose retargeting.

Core claim

R-DMesh presents a VAE that explicitly disentangles the input into a conditional base mesh, relative motion trajectories, and a rectification jump offset. The offset transforms the arbitrary input pose to match the video's initial state. Triflow Attention modulates three orthogonal flows with vertex-wise geometric features to maintain physical consistency and local rigidity. Generation uses a Rectified Flow-based Diffusion Transformer conditioned on pre-trained video latents, with the Video-RDMesh dataset providing training data that simulates misalignment.

What carries the argument

Rectification jump offset: the learned VAE component that automatically maps an arbitrary input mesh pose onto the video's starting frame before motion is applied.

If this is right

Enables high-fidelity 4D mesh generation from misaligned starting poses without manual correction.
Supports robust pose retargeting and holistic 4D generation as downstream applications.
Preserves physical consistency and local rigidity throughout rectification and animation via Triflow Attention.
Transfers rich spatio-temporal priors from video latents to the 3D domain using the conditioned diffusion transformer.
Relies on the Video-RDMesh dataset of over 500k dynamic mesh sequences to handle realistic misalignment.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This rectification step could shorten preprocessing pipelines in 3D content tools by removing the need for manual pose matching.
The disentanglement pattern may extend to related tasks like point-cloud animation or cross-domain mesh transfer where initial states vary.
If the offset generalizes beyond the training distribution, it could support live video-driven animation from casual phone captures.

Load-bearing premise

That a single learned rectification jump offset can map any arbitrary input mesh pose to the video's initial state without geometric distortion or loss of downstream physical consistency.

What would settle it

Test cases with large initial pose differences where the generated 4D mesh still shows distortions, broken rigidity, or fails to follow the video trajectory even after applying the learned offset.

Figures

Figures reproduced from arXiv: 2605.13838 by Chunchao Guo, Lixin Xu, Puhua Jiang, Sicong Liu, Xiang Bai, Zijie Wu.

**Figure 1.** Figure 1: Video-Guided 3D Animation via Rectified Dynamic Mesh (R-DMesh). Given a monocular reference video (left), our method synthesizes high-fidelity, [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗

**Figure 2.** Figure 2: The challenge of pose misalignment in video-guided 3D animation. [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗

**Figure 3.** Figure 3: Illustration of our proposed R-DMesh VAE. It compresses and reconstructs dynamic mesh sequences conditioned on a static mesh of the same object in an arbitrary pose. (Left) Decomposition: The input sequence is decoupled into vertices 𝑉𝑐𝑜𝑛𝑑 , face 𝐹 , global offsets ∆𝐽 , and relative motion 𝑇𝑟𝑒𝑙 . (Middle) Encoder: The Triflow Attention mechanism jointly processes these components to capture spatio-temporal… view at source ↗

**Figure 4.** Figure 4: Illustration of our proposed R-DMesh RF model. We leverage a pretrained, frozen Video Diffusion Model (VDM) as a strong visual prior. The VDM processes the reference video to extract rich semantic and dynamic features. These features are injected into the trainable Transformer blocks via Cross-Attention, guiding the generation of mesh dynamics (𝑧Δ, 𝑧𝑡𝑟𝑎 𝑗 ). 𝜖 ∼ N (0, 𝐼) and 𝑡 ∈ [0, 1]. The network input … view at source ↗

**Figure 5.** Figure 5: Qualitative comparison with state-of-the-art methods. We evaluate against video-to-4D methods (SC4D [Wu et al [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗

**Figure 6.** Figure 6: Visual ablation on Jump Decomposition and Triflow Attention. The [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗

**Figure 7.** Figure 7: Pose retargeting application examples of our method. [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗

**Figure 8.** Figure 8: Motion retargeting application examples of our method. Left: Reference videos generated by video generation models. Right: Generated 3D animations. [PITH_FULL_IMAGE:figures/full_fig_p009_8.png] view at source ↗

**Figure 9.** Figure 9: Holistic video-to-4D generation application examples of our method. The top row shows the reference videos. The middle row displays the reconstructed [PITH_FULL_IMAGE:figures/full_fig_p009_9.png] view at source ↗

**Figure 10.** Figure 10: Limitations of our method. (a) Mesh Interpenetration. Our gener [PITH_FULL_IMAGE:figures/full_fig_p009_10.png] view at source ↗

read the original abstract

Video-guided 3D animation holds immense potential for content creation, offering intuitive and precise control over dynamic assets. However, practical deployment faces a critical yet frequently overlooked hurdle: the pose misalignment dilemma. In real-world scenarios, the initial pose of a user-provided static mesh rarely aligns with the starting frame of a reference video. Naively forcing a mesh to follow a mismatched trajectory inevitably leads to severe geometric distortion or animation failure. To address this, we present Rectified Dynamic Mesh (R-DMesh), a unified framework designed to generate high-fidelity 4D meshes that are ``rectified'' to align with video context. Unlike standard motion transfer approaches, our method introduces a novel VAE that explicitly disentangles the input into a conditional base mesh, relative motion trajectories, and a crucial rectification jump offset. This offset is learned to automatically transform the arbitrary pose of the input mesh to match the video's initial state before animation begins. We process these components via a Triflow Attention mechanism, which leverages vertex-wise geometric features to modulate the three orthogonal flows, ensuring physical consistency and local rigidity during the rectification and animation process. For generation, we employ a Rectified Flow-based Diffusion Transformer conditioned on pre-trained video latents, effectively transferring rich spatio-temporal priors to the 3D domain. To support this task, we construct Video-RDMesh, a large-scale dataset of over 500k dynamic mesh sequences specifically curated to simulate pose misalignment. Extensive experiments demonstrate that R-DMesh not only solves the alignment problem but also enables robust downstream applications, including pose retargeting and holistic 4D generation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

R-DMesh adds a learned rectification jump offset inside a VAE plus Triflow Attention to handle pose misalignment in video-driven 3D mesh animation, but the offset's ability to stay rigid without extra constraints looks like the weakest link.

read the letter

The paper's main move is to treat pose misalignment as a first-class problem rather than something you fix with preprocessing. It disentangles the input mesh into a base shape, relative trajectories, and a rectification jump offset that the VAE learns to apply so the mesh starts in the video's initial pose. Triflow Attention then modulates three flows with vertex features to keep local rigidity during both rectification and animation, and the whole thing sits inside a rectified-flow diffusion transformer conditioned on video latents. They also release Video-RDMesh, a 500k-sequence dataset built to simulate exactly this misalignment case. That combination of explicit offset and attention mechanism is new enough that it is not just another motion-transfer wrapper on existing work. The practical framing is useful; anyone who has tried to drive a downloaded mesh with a reference video knows the alignment step is where things usually break. The dataset size is also a concrete plus for training and benchmarking. The soft spot is the offset itself. The description gives no orthogonality, isometry, or other rigidity regularizer on the jump, so nothing prevents it from producing non-rigid or topology-breaking transforms. Triflow Attention is supposed to enforce consistency afterward, but if the initial alignment already distorts geometry, later attention cannot retroactively restore it. The abstract claims extensive experiments yet supplies no numbers, baselines, or ablation tables, which makes it impossible to tell whether the offset actually outperforms simpler rigid alignment or just adds parameters. This is the kind of paper that belongs in a graphics or 4D generation reading group if the full results and ablations hold up. I would cite it only after seeing quantitative gains on the misalignment cases and confirmation that the offset stays close to rigid. It deserves peer review because the problem is real and the proposed mechanism is distinct, even if the current evidence is still thin.

Referee Report

2 major / 1 minor

Summary. The manuscript presents R-DMesh, a framework for video-guided 3D mesh animation that tackles the pose misalignment problem between input meshes and reference videos. It introduces a VAE to disentangle the input into a conditional base mesh, relative motion trajectories, and a rectification jump offset, which is learned to align the mesh pose with the video's initial state. These are processed using Triflow Attention to ensure physical consistency and local rigidity, and generated via a Rectified Flow-based Diffusion Transformer conditioned on video latents. A new dataset Video-RDMesh with over 500k sequences is introduced to simulate misalignment, and extensive experiments are claimed to demonstrate the method's effectiveness for animation, retargeting, and 4D generation.

Significance. If the results hold, this work could have significant impact in computer vision and graphics by providing a practical solution to a common real-world issue in 3D animation from videos, potentially improving fidelity in content creation applications. The introduction of a large-scale dataset and the disentanglement approach are notable strengths.

major comments (2)

[Abstract] Abstract: The central claim that the learned rectification jump offset reliably maps arbitrary input mesh poses to the video's initial state without geometric distortion or breaking downstream physical consistency is load-bearing, yet the description supplies no equations, loss terms, or regularization (e.g., orthogonality constraints on the offset) to enforce rigidity; this leaves open the possibility of non-rigid or topology-breaking transforms that Triflow Attention cannot retroactively correct.
[Abstract] Abstract: The manuscript asserts 'extensive experiments' on the 500k-sequence Video-RDMesh dataset demonstrating that R-DMesh solves the alignment problem, but reports no quantitative metrics, baselines, ablation results, or error analysis; without these, the effectiveness of the VAE disentanglement and Triflow Attention cannot be assessed and the central claims rest on unshown evidence.

minor comments (1)

[Abstract] Abstract: 'Triflow Attention' is introduced as a novel mechanism modulating three orthogonal flows via vertex-wise features, but lacks any reference to prior attention or flow-based methods in 3D or video domains.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments. We address each point below and will revise the manuscript to strengthen the presentation of the rectification mechanism and experimental evidence.

read point-by-point responses

Referee: [Abstract] Abstract: The central claim that the learned rectification jump offset reliably maps arbitrary input mesh poses to the video's initial state without geometric distortion or breaking downstream physical consistency is load-bearing, yet the description supplies no equations, loss terms, or regularization (e.g., orthogonality constraints on the offset) to enforce rigidity; this leaves open the possibility of non-rigid or topology-breaking transforms that Triflow Attention cannot retroactively correct.

Authors: We agree the abstract is too terse on this point. The full manuscript defines the rectification jump offset as a learned rigid transformation within the VAE encoder, with an explicit loss term combining L2 reconstruction on the aligned base mesh and an orthogonality regularizer on the rotation component of the offset to enforce rigidity. We will move the relevant equations and loss formulation into the abstract and add a short paragraph clarifying that the offset is constrained to SE(3) before Triflow Attention is applied. revision: yes
Referee: [Abstract] Abstract: The manuscript asserts 'extensive experiments' on the 500k-sequence Video-RDMesh dataset demonstrating that R-DMesh solves the alignment problem, but reports no quantitative metrics, baselines, ablation results, or error analysis; without these, the effectiveness of the VAE disentanglement and Triflow Attention cannot be assessed and the central claims rest on unshown evidence.

Authors: The full manuscript contains quantitative tables comparing against motion-transfer baselines, ablation studies on the VAE components and Triflow Attention, and error metrics (e.g., vertex-to-vertex distance and temporal consistency scores) on the Video-RDMesh test split. However, the abstract does not summarize these numbers. We will revise the abstract to include a concise statement of the key quantitative gains and ensure the main text presents all metrics, baselines, and ablations with error bars. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on learned components without definitional reduction

full rationale

The abstract describes a VAE that disentangles input into base mesh, motion trajectories, and a learned rectification jump offset, processed via Triflow Attention and a Rectified Flow Diffusion Transformer. No equations, self-citations, or fitted inputs are presented that reduce any claimed prediction or output to the inputs by construction. The Video-RDMesh dataset simulates misalignment for training but does not define the rectification offset or downstream consistency as equivalent to the target by definition. All load-bearing elements are presented as independently learned quantities conditioned on video latents, making the chain self-contained against external data rather than tautological.

Axiom & Free-Parameter Ledger

2 free parameters · 1 axioms · 2 invented entities

The framework rests on standard assumptions of rectified-flow diffusion and VAE training plus the new assumption that a single learned offset suffices for arbitrary pose alignment; several training hyperparameters remain unspecified.

free parameters (2)

VAE latent dimension and jump-offset parameterization
Number of dimensions and exact form of the offset are chosen during training but not reported.
Triflow Attention modulation weights
Vertex-wise modulation parameters are learned and affect local rigidity.

axioms (1)

domain assumption Rectified flow diffusion can transfer spatio-temporal priors from 2D video latents to 3D mesh sequences
Invoked in the generation stage to condition the diffusion transformer.

invented entities (2)

rectification jump offset no independent evidence
purpose: Learned vector that transforms arbitrary input mesh pose to match video initial frame
New component introduced to solve the misalignment problem
Triflow Attention no independent evidence
purpose: Vertex-wise modulation of three orthogonal flows for geometric consistency
Novel attention variant proposed for the rectification and animation stages

pith-pipeline@v0.9.0 · 5614 in / 1520 out tokens · 52241 ms · 2026-05-15T06:05:18.661947+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

novel VAE that explicitly disentangles the input into a conditional base mesh, relative motion trajectories, and a crucial rectification jump offset... Triflow Attention mechanism, which leverages vertex-wise geometric features to modulate the three orthogonal flows

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

208 extracted references · 208 canonical work pages · 22 internal anchors

[1]

Abril and Robert Plant

Patricia S. Abril and Robert Plant. The patent holder's dilemma: Buy, sell, or troll?. Communications of the ACM. 2007. doi:10.1145/1188913.1188915

work page doi:10.1145/1188913.1188915 2007
[2]

Deciding equivalances among conjunctive aggregate queries

Sarah Cohen and Werner Nutt and Yehoshua Sagic. Deciding equivalances among conjunctive aggregate queries. 2007. doi:10.1145/1219092.1219093

work page doi:10.1145/1219092.1219093 2007
[3]

Special issue: Digital Libraries. 1996

work page 1996
[4]

Understanding Policy-Based Networking

David Kosiur. Understanding Policy-Based Networking. 2001

work page 2001
[7]

The title of book two. 2008. doi:10.1007/3-540-09237-4

work page doi:10.1007/3-540-09237-4 2008
[8]

Asad Z. Spector. Achieving application requirements. Distributed Systems. 1990. doi:10.1145/90417.90738

work page doi:10.1145/90417.90738 1990
[9]

Douglass and David Harel and Mark B

Bruce P. Douglass and David Harel and Mark B. Trakhtenbrot. Statecarts in use: structured analysis and object-orientation. Lectures on Embedded Systems. 1998. doi:10.1007/3-540-65193-4_29

work page doi:10.1007/3-540-65193-4_29 1998
[10]

Donald E. Knuth. The Art of Computer Programming, Vol. 1: Fundamental Algorithms (3rd. ed.). 1997

work page 1997
[11]

Donald E. Knuth. The Art of Computer Programming. 1998

work page 1998
[12]

Structured Variational Inference Procedures and their Realizations (as incol)

Dan Geiger and Christopher Meek. Structured Variational Inference Procedures and their Realizations (as incol). Proceedings of Tenth International Workshop on Artificial Intelligence and Statistics, The Barbados

work page
[13]

Stan W. Smith. An experiment in bibliographic mark-up: Parsing metadata for XML export. Proceedings of the 3rd. annual workshop on Librarians and Computers. 2010. doi:99.9999/woot07-S422

work page 2010
[14]

Catch me, if you can: Evading network signatures with web-based polymorphic worms

Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna. Catch me, if you can: Evading network signatures with web-based polymorphic worms. Proceedings of the first USENIX workshop on Offensive Technologies. 2007

work page 2007
[15]

Catch me, if you can: Evading network signatures with web-based polymorphic worms

Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna. Catch me, if you can: Evading network signatures with web-based polymorphic worms. Proceedings of the first USENIX workshop on Offensive Technologies. 2008

work page 2008
[16]

Catch me, if you can: Evading network signatures with web-based polymorphic worms

Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna. Catch me, if you can: Evading network signatures with web-based polymorphic worms. Proceedings of the first USENIX workshop on Offensive Technologies. 2009

work page 2009
[17]

Predicate Path expressions

Sten Andler. Predicate Path expressions. Proceedings of the 6th. ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages. 1979. doi:10.1145/567752.567774

work page doi:10.1145/567752.567774 1979
[18]

LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER

David Harel. LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER. 1978

work page 1978
[19]

Anisi , title =

David A. Anisi , title =

work page
[20]

Clarkson

Kenneth L. Clarkson. Algorithms for Closest-Point Problems (Computational Geometry). 1985

work page 1985
[21]

Introduction to Bayesian Statistics

Harry Thornburg. Introduction to Bayesian Statistics. 2001

work page 2001
[22]

CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11

Rafal Ablamowicz and Bertfried Fauser. CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11. 2007

work page 2007
[23]

Stats and Analysis

Poker-Edge.Com. Stats and Analysis. 2006

work page 2006
[24]

A more perfect union

Barack Obama. A more perfect union. 2008

work page 2008
[25]

The fountain of youth

Joseph Scientist. The fountain of youth. 2009

work page 2009
[26]

Solder man

Dave Novak. Solder man. ACM SIGGRAPH 2003 Video Review on Animation theater Program: Part I - Vol. 145 (July 27--27, 2003). 2003. doi:99.9999/woot07-S422

work page 2003
[27]

Interview with Bill Kinder: January 13, 2005

Newton Lee. Interview with Bill Kinder: January 13, 2005. Comput. Entertain. 2005. doi:10.1145/1057270.1057278

work page doi:10.1145/1057270.1057278 2005
[28]

The Enabling of Digital Libraries

Bernard Rous. The Enabling of Digital Libraries. Digital Libraries. 2008

work page 2008
[30]

(new) Finding minimum congestion spanning trees , journal =

Werneck, Renato and Setubal, Jo\. (new) Finding minimum congestion spanning trees , journal =. 2000 , issn =. doi:10.1145/351827.384253 , acmid =

work page doi:10.1145/351827.384253 2000
[32]

and Mei, Alessandro , title =

Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro , title =. Inf. Fusion , volume =. 2009 , issn =. doi:10.1016/j.inffus.2009.01.002 , acmid =

work page doi:10.1016/j.inffus.2009.01.002 2009
[33]

and Hutchful, David K

Li, Cheng-Lun and Buyuktur, Ayse G. and Hutchful, David K. and Sant, Natasha B. and Nainwal, Satyendra K. , title =. CHI '08 extended abstracts on Human factors in computing systems , year =. doi:10.1145/1358628.1358946 , acmid =

work page doi:10.1145/1358628.1358946
[34]

, title =

Hollis, Billy S. , title =. 1999 , isbn =

work page 1999
[35]

Goossens, Michel and Rahtz, S. P. and Moore, Ross and Sutor, Robert S. , title =. 1999 , isbn =

work page 1999
[36]

and Rosenberg, Arnold L

Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D. , title =. 1987 , source =

work page 1987
[37]

CHI '08: CHI '08 extended abstracts on Human factors in computing systems , year =

, note =. CHI '08: CHI '08 extended abstracts on Human factors in computing systems , year =

work page
[38]

Algorithms for Closest-Point Problems (Computational Geometry) , year =

Clarkson, Kenneth Lee , advisor =. Algorithms for Closest-Point Problems (Computational Geometry) , year =

work page
[39]

SIGCOMM Comput. Commun. Rev. , year =

work page
[40]

2004 , isbn =

IEEE TCSC Executive Committee , booktitle =. 2004 , isbn =. doi:http://dx.doi.org/10.1109/ICWS.2004.64 , acmid =

work page doi:10.1109/icws.2004.64 2004
[41]

Distributed systems (2nd Ed.) , year =

work page
[42]

, title =

Petrie, Charles J. , title =. 1986 , source =

work page 1986
[43]

Donald E. Knuth. Seminumerical Algorithms. 1981

work page 1981
[44]

E-commerce and cultural values , year =

Kong, Wei-Chang , Title =. E-commerce and cultural values , year =

work page
[45]

E-commerce and cultural values , year =

Kong, Wei-Chang , type =. E-commerce and cultural values , year =

work page
[46]

Chapter 9 , booktitle =

Kong, Wei-Chang , editor =. Chapter 9 , booktitle =. 2002 , address =

work page 2002
[47]

E-commerce and cultural values , editor =

Kong, Wei-Chang , title =. E-commerce and cultural values , editor =. 2003 , isbn =

work page 2003
[48]

E-commerce and cultural values - (InBook-num-in-chap) , chapter =

Kong, Wei-Chang , editor =. E-commerce and cultural values - (InBook-num-in-chap) , chapter =. 2004 , address =

work page 2004
[49]

E-commerce and cultural values (Inbook-text-in-chap) , chapter =

Kong, Wei-Chang , editor =. E-commerce and cultural values (Inbook-text-in-chap) , chapter =. 2005 , address =

work page 2005
[50]

E-commerce and cultural values (Inbook-num chap) , chapter =

Kong, Wei-Chang , editor =. E-commerce and cultural values (Inbook-num chap) , chapter =. 2006 , address =

work page 2006
[51]

Microelectron

Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi , title =. Microelectron. J. , volume =. 2010 , pages =

work page 2010
[52]

Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi and Zahra Sasanian , title =. J. Emerg. Technol. Comput. Syst. , volume =

work page
[53]

Kirschmer, Markus and Voight, John , title =. SIAM J. Comput. , issue_date =. 2010 , issn =. doi:https://doi.org/10.1137/080734467 , acmid =

work page doi:10.1137/080734467 2010
[54]

Hoare, C. A. R. , title =. Structured programming (incoll) , editor =. 1972 , isbn =

work page 1972
[55]

History of programming languages I (incoll) , editor =

Lee, Jan , title =. History of programming languages I (incoll) , editor =. 1981 , isbn =. doi:http://doi.acm.org/10.1145/800025.1198348 , acmid =

work page doi:10.1145/800025.1198348 1981
[56]

, title =

Dijkstra, E. , title =. Classics in software engineering (incoll) , year =

work page
[57]

, title =

Wenzel, Elizabeth M. , title =. Multimedia interface design (incoll) , year =. doi:10.1145/146022.146089 , acmid =

work page doi:10.1145/146022.146089
[58]

, title =

Mumford, E. , title =. Critical issues in information systems research (incoll) , year =

work page
[59]

and Golden, Donald G

McCracken, Daniel D. and Golden, Donald G. , title =. 1990 , isbn =

work page 1990
[60]

The analysis of linear partial differential operators

H. The analysis of linear partial differential operators. 1985 , PAGES =

work page 1985
[61]

IEEE", address =

A. Adya and P. Bahl and J. Padhye and A.Wolman and L. Zhou , title =. Proceedings of the IEEE 1st International Conference on Broadnets Networks (BroadNets'04) , publisher = "IEEE", address = "Los Alamitos, CA", year =

work page
[62]

I. F. Akyildiz and W. Su and Y. Sankarasubramaniam and E. Cayirci , title =. Comm. ACM , volume = 38, number = "4", year =

work page
[63]

I. F. Akyildiz and T. Melodia and K. R. Chowdhury , title =. Computer Netw. , volume = 51, number = "4", year =

work page
[64]

ACM", address =

P. Bahl and R. Chancre and J. Dungeon , title =. Proceeding of the 10th International Conference on Mobile Computing and Networking (MobiCom'04) , publisher = "ACM", address = "New York, NY", year =

work page
[65]

8 (Special Issue on Sensor Networks)

D. Culler and D. Estrin and M. Srivastava , title =. IEEE Comput. , volume = 37, number = "8 (Special Issue on Sensor Networks)", publisher = "IEEE", address = "Los Alamitos, CA", year =

work page
[66]

Natarajan and M

A. Natarajan and M. Motani and B. de Silva and K. Yap and K. C. Chua , title =. Network Architectures , editor =. 960935712

work page
[67]

Tzamaloukas and J

A. Tzamaloukas and J. J. Garcia-Luna-Aceves , title =

work page
[68]

Zhou and J

G. Zhou and J. Lu and C.-Y. Wan and M. D. Yarvis and J. A. Stankovic , title =

work page
[69]

Mapping Powerlists onto Hypercubes

Jacob Kornerup. Mapping Powerlists onto Hypercubes. 1994

work page 1994
[70]

Automatic Parallelization for Distributed-Memory Multiprocessing Systems

Michael Gerndt. Automatic Parallelization for Distributed-Memory Multiprocessing Systems

work page
[71]

J. E. Archer, Jr. and R. Conway and F. B. Schneider. User recovery and reversal in interactive systems. ACM Trans. Program. Lang. Syst

work page
[72]

D. D. Dunlop and V. R. Basili. Generalizing specifications for uniformly implemented loops. ACM Trans. Program. Lang. Syst

work page
[73]

Heering and P

J. Heering and P. Klint. Towards monolingual programming environments. ACM Trans. Program. Lang. Syst

work page
[74]

Donald E. Knuth. The book

work page
[75]

Korach and D

E. Korach and D. Rotem and N. Santoro. Distributed algorithms for finding centers and medians in networks. ACM Trans. Program. Lang. Syst

work page
[76]

: A Document Preparation System

Leslie Lamport. : A Document Preparation System

work page
[77]

F. Nielson. Program transformations in a denotational setting. ACM Trans. Program. Lang. Syst

work page
[78]

Brian K. Reid. A high-level approach to computer document formatting. Proceedings of the 7th Annual Symposium on Principles of Programming Languages

work page
[79]

and Abdelzaher, Tarek F

Zhou, Gang and Wu, Yafeng and Yan, Ting and He, Tian and Huang, Chengdu and Stankovic, John A. and Abdelzaher, Tarek F. , title =. ACM Trans. Embed. Comput. Syst. , issue_date =. doi:10.1145/1721695.1721705 , acmid = 1721705, publisher =

work page doi:10.1145/1721695.1721705
[80]

Institutional members of the Users Group

work page
[81]

Boris Veytsman , title =

work page
[82]

and Peterson, Larry L

Bowman, Mic and Debray, Saumya K. and Peterson, Larry L. , title =. ACM Trans. Program. Lang. Syst. , volume =. 1993 , doi =

work page 1993
[83]

TUGboat , volume =

Braams, Johannes , title =. TUGboat , volume =

work page
[84]

Post Congress Tristesse

Malcolm Clark. Post Congress Tristesse. TeX90 Conference Proceedings

work page

Showing first 80 references.