Skip to Main content Skip to Navigation


inria-00098908v1  Journal articles
Laurent WendlingA. Paries. Directed Acyclic Graph Compression of Labelled Trees
Machine Graphics & Vision, Instytut podstaw informatyki (Pologne), 1999, 8 (2), pp.169-174
inria-00100804v1  Journal articles
Laurent WendlingAntoine TabbonePascal Matsakis. Fast and Robust Recognition of Orbit and Sinus Drawings Using Histograms of Forces
Pattern Recognition Letters, Elsevier, 2002, 23 (14), pp.1687-1693
inria-00101029v1  Journal articles
Mark G. J. van den BrandJ. HeeringP. KlintP.A. Olivier. Compiling language definitions: The ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368
inria-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00100911v1  Journal articles
Jean-Pierre Thomesse. Le télémonitorage au domicile des patients à risque: les projets Diatélic et TIISSAD
Techniques Hospitalières : la revue des techniciens de la santé, Association des hautes études hospitalières, 2002, pp.70
inria-00098802v1  Journal articles
Hala Skaf-MolliFrançois CharoyClaude Godart. Maintaining Shared Workspaces Consistency during Software Development
International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 1999, Special Issue: Knowledge Discovery from Empirical Software Engineering Data, 9 (5), pp.623-642. ⟨10.1142/S0218194099000334⟩
inria-00101003v1  Journal articles
Françoise Simonot-LionLaurent KaiserRicardo Santos Marques. Formal Method for Timed Tests Sequences Generation
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.1001-1013
inria-00100802v1  Journal articles
Gilles SimonMarie-Odile Berger. Pose Estimation for Planar Structures
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2002, 22 (6), pp.46-53
inria-00098872v1  Journal articles
Fabrice Rouillier. Solving Zero-Dimensional Systems through the Rational Univariate Representation
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 1999, 9 (5), pp.433-461. ⟨10.1007/s002000050114⟩
inria-00100879v1  Journal articles
Nicolas RémyArben ShtukaBruno LévyJeff Caers. GsTL: a geostatistical template library in C++
Computers & Geosciences, Elsevier, 2002, 28 (8), pp.971-979
inria-00100937v1  Journal articles
Dominique PoulalhonGilles Schaeffer. Factorisations of large cycles in the symmetric group
Discrete Mathematics, Elsevier, 2002, 254 (1-3), pp.433-458
inria-00098851v1  Journal articles
David PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
inria-00098879v1  Journal articles
Jean-Marie Pierrel. Parler n'est pas suffisant", point de vue sur les interfaces orales
Pour la science, Société Pour la Science 1999
inria-00098796v1  Journal articles
Sylvain Petitjean. Algebraic Geometry & Computer Vision: Polynomial Systems, Real & Complex Roots
Journal of Mathematical Imaging and Vision, Springer Verlag, 1999, 10 (3), pp.191-220
inria-00100762v1  Journal articles
Sylvain Petitjean. A Survey of Methods for Recovering Quadrics in Triangle Meshes
ACM Computing Surveys, Association for Computing Machinery, 2002, 34 (2), pp.211-262. ⟨10.1145/508352.508354⟩
inria-00098846v1  Journal articles
Y.-F.-S. PétermannJean-Luc RémyI. Vardi. On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 1999, 11, pp.211-230
inria-00099011v1  Journal articles
Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
inria-00098816v1  Journal articles
Guy Perrier. A PSPACE-complete fragment of second-order linear logic
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.267-289
inria-00101009v1  Journal articles
Quang-Huy NguyenClaude KirchnerHélène Kirchner. External rewriting for skeptical proof assistants
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336
inria-00098898v1  Journal articles
Nicolas NavetYe-Qiong Song. Reliability Improvement of the Dual-Priority Protocol under Unreliable Transmission
Control Engineering Practice, Elsevier, 1999, 7 (8), pp.975-981