Skip to Main content Skip to Navigation


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-00098797v1  Journal articles
Alain DenisePaul Zimmermann. Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
Theoretical Computer Science, Elsevier, 1999, 218 (2), pp.233-248
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-00098803v1  Journal articles
Jean-Yves Marion. From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.157-172
inria-00098809v1  Journal articles
Eric MonfroyChristophe Ringeissen. An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167--187
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-00098820v1  Journal articles
Marie-Odile BergerBrigitte Wrobel-DautcourtSylvain PetitjeanGilles Simon. Mixing Synthetic and Video Images of an Outdoor Urban Environment
Machine Vision and Applications, Springer Verlag, 1999, 11 (3), pp.145-159
inria-00098817v1  Journal articles
Philippe de Groote. An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.115-134
inria-00098825v1  Journal articles
Jens Gustedt. Finiteness Theorems for Graphs and Posets Obtained by Compositions
Order, Springer Verlag, 1999, 15 (3), pp.203-220
inria-00098841v1  Journal articles
Michel CosnardEmmanuel Jeannot. Compact DAG Representation and its Dynamic Scheduling
Journal of Parallel and Distributed Computing, Elsevier, 1999, 58 (3), pp.487-514
inria-00098848v1  Journal articles
Hazel EverettFerran HurtadoMarc Noy. Stabbing information of a simple polygon
Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
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-00098851v1  Journal articles
David PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
inria-00098854v1  Journal articles
Roman KolpakovGregory KucherovYuri Tarannikov. On repetition-free binary words of minimal density
Theoretical Computer Science, Elsevier, 1999, 218 (1), pp.161--175
inria-00098856v1  Journal articles
Claude KirchnerHubert ComonMehmet DincbasJean-Pierre Jouannaud. A Methodological View of Constraint Solving
Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
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-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-00098881v1  Journal articles
Jean-Pierre Thomesse. Fieldbuses and interoperability
Control Engineering Practice, Elsevier, 1999, 7 (1), pp.81-94
inria-00098891v1  Journal articles
Fabrice GuillemotCharles AuffrayMarie-Dominique Morch. Detailed transcript map of a 810-kb region at 11p14 involving identification of 10 novel human 3' exons
European Journal of Human Genetics, Nature Publishing Group, 1999, 7 (4), pp.487-495
inria-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
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
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-00098909v1  Journal articles
Pascal MatsakisLaurent Wendling. A New Way to Represent the Relative between Areal Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 1999, 21 (7), pp.634-643
inria-00098910v1  Journal articles
Eric DomenjoudClaude KirchnerJianyang Zhou. Generating feasible schedules for a pick-up and delivery problem
Electronic Notes in Discrete Mathematics, Elsevier, 1999, 1
inria-00098913v1  Journal articles
Florence Le BerLudmila MangelinckAmedeo Napoli. Représentation de relations et classification de structures spatiales
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13 (2), pp.441-467
inria-00098951v1  Journal articles
Jean LieberAmedeo Napoli. Raisonnement à partir de cas et résolution de problèmes dans une représentation par objets
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 1999, 13, pp.9-35
inria-00098965v1  Journal articles
Bruno GaujalNicolas Navet. Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Computer Communications, Elsevier, 1999, 22 (17), pp.1562-1573
inria-00098966v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. La programmation à objets. Application au langage Eiffel
Linux Magazine France, Diamond Editions, 1999, pp.63-76
inria-00098968v1  Journal articles
Hala Naja. Multiview databases for building modelling
Automation in Construction, Elsevier, 1999, 8 (5), pp.567-579. ⟨10.1016/S0926-5805(98)00116-2⟩
inria-00098969v1  Journal articles
Mohamed AfifyYifan GongJean-Paul Haton. A Minimum Cross-Entropy Approach to Hidden Markov Model Adaptation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 1999, 6 (6), pp.132-134
inria-00098986v1  Journal articles
Miki HermannPhokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136
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-00099018v1  Journal articles
Alexander BockmayrFriedrich EisenbrandMark HartmannAndreas S. Schulz. On the Chvátal Rank of Polytopes in the 0/1 Cube
Discrete Applied Mathematics, Elsevier, 1999, 98 (1-2), pp.21-27
inria-00100714v1  Journal articles
Adel BouhoulaMichaël Rusinowitch. Observational proofs by rewriting
Theoretical Computer Science, Elsevier, 2002, 275 (1-2), pp.675-698. ⟨10.1016/S0304-3975(01)00333-4⟩
inria-00100712v1  Journal articles
Philippe de GrooteFrançois Lamarche. Classical Non Associative Lambek Calculus
Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
inria-00100711v1  Journal articles
Richard BluteFrançois LamarchePaul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
inria-00100709v1  Journal articles
Serge GrigorieffJean-Yves Marion. Kolmogorov complexity and non-determinism
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
inria-00100721v1  Journal articles
Yann Guermeur. Combining Discriminant Models with new Multi-Class SVMs
Pattern Analysis and Applications, Springer Verlag, 2002, 5 (2), pp.168-179. ⟨10.1007/s100440200015⟩
inria-00100725v1  Journal articles
Olivier BournezMichael Branicky. On the mortality problem for matrices of low dimensions
Theory of Computing Systems, Springer Verlag, 2002, 35 (4), pp.433-448. ⟨10.1007/s00224-002-1010-5⟩
inria-00100726v1  Journal articles
Paolo CastelpietraYe-Qiong SongFrançoise Simonot-LionMondher Attia. Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2002, 49 (6), pp.1251-1264. ⟨10.1109/TIE.2002.804972⟩
inria-00100743v1  Journal articles
Miguel AlabauLhassane IdoumgharRené Schott. New Hybrid Genetic Algorithms for the Frequency Assignment Problem
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (1), pp.27-34. ⟨10.1109/11.992851⟩
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-00100777v1  Journal articles
Vladimir Y. LuninAlexandre UrzhumtsevAlexander Bockmayr. Direct phasing by binary integer programming
Acta Crystallographica Section A Foundations and Advances, International Union of Crystallography, 2002, 58, pp.283-291
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. ⟨10.1109/MCG.2002.1046628⟩
inria-00100799v1  Journal articles
Marie-Dominique MorchAndré SchaaffMalika Smaïl. Collecte et intégration de données biologiques hétérogènes sur le web : application dans le domaine de la cartographie du génome humain
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2002, 7 (1-2), pp.45-61
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-00100817v1  Journal articles
Olivier Bournez. Some bounds on the computational power of piecewise constant derivative systems
Theory of Computing Systems, Springer Verlag, 1999, 32 (1), pp.35-67
inria-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
inria-00100847v1  Journal articles
Isabelle Guérin-LassousJens Gustedt. Portable List Ranking: an Experimental Study
ACM Journal of Experimental Algorithmics, Association for Computing Machinery, 2002, 7 (7), 18 p
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-00100891v1  Journal articles
Patrick BlackburnMaarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288
inria-00100889v1  Journal articles
Thérèse BiedlErik DemaineMartin DemaineSylvain LazardAnna Lubiw et al.  A Note on Reconfiguring Tree Linkages: Trees can Lock
Discrete Applied Mathematics, Elsevier, 2002, 117 (1-3), pp.293-297. ⟨10.1016/S0166-218X(01)00229-3⟩
inria-00100893v1  Journal articles
Bruno GaujalEmmanuel Hyon. Optimal routing in several deterministic queues with two service times
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.945-957
inria-00100901v1  Journal articles
Gülgün AlpanMohsen A. Jafari. Synthesis of a closed-loop combined plant and controller model
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2002, 32 (2), pp.163-175. ⟨10.1109/3477.990873⟩
inria-00100900v1  Journal articles
François BaccelliBruno GaujalDaniel Simon. Analysis of Preemptive Periodic Real-Time Systems Using the (Max,PLus) Algebra With Applications in Robotics
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2002, 10 (3), pp.268-380
inria-00100899v1  Journal articles
Eitan AltmanBruno GaujalArie Hordijk. Regular Ordering and Applications in Control Policies
Discrete Event Dynamic Systems, Springer Verlag, 2002, 12 (2), pp.187-210
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-00100936v1  Journal articles
Mireille Bousquet-MelouGilles Schaeffer. Walks in the slit plane
Probability Theory and Related Fields, Springer Verlag, 2002, 124 (3), pp.305-344
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-00100949v1  Journal articles
Mohamed Ali AloulouMarc SevauxAndré RossiMarie-Laure EspinouseAziz Moukrim et al.  Flexibilité et Robustesse en Ordonnancement
Bulletin de la ROADEF, Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2002, 3 p
inria-00100950v1  Journal articles
Asma GhaffariNidhal RezgXiaolan Xie. Theory of regions based synthesis of the maximally permissive and non blocking supervisory control
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.919-930
inria-00100969v1  Journal articles
Johanne CohenPierre FraigniaudCyril Gavoille. Recognizing Knödel graphs
Discrete Mathematics, Elsevier, 2002, pp.41-62
inria-00100974v1  Journal articles
Peter BorovanskyClaude KirchnerHélène KirchnerPierre-Etienne Moreau. ELAN from a rewriting logic point of view
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
inria-00100978v1  Journal articles
Harvey DubnerTony ForbesNik LygerosMichel MizonyHarry Nelson et al.  Ten Consecutive Primes In Arithmetic Progression
Mathematics of Computation, American Mathematical Society, 2002, 71 (239), pp.1323-1328
inria-00100982v1  Journal articles
Philippe AubryFabrice RouillierMohab Safey El Din. Real solving for positive dimensional systems
Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩
inria-00100990v1  Journal articles
Claire GardentJean-Marie Pierrel. Aspects linguistiques du traitement automatique du dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.7-12
inria-00100989v1  Journal articles
Yann BugeaudGuillaume HanrotMaurice Mignotte. Sur l'équation diophantienne $(x^n - 1)/(x - 1)=y^q$, III
Proceedings of the London Mathematical Society, London Mathematical Society, 2002, 84 (1), pp.59-78
inria-00100991v1  Journal articles
Didier Fass. Éléments d'organisation du complexe Individu - Environnement artefactuel : Évaluation d'un système de réalité virtuelle d'aide à l'action
Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, Europia, 2002, 3 (2), pp.75-94
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-00101005v1  Journal articles
Manuel BenitoWolfgang CreyaufmuellerJuan Luis VaronaPaul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits
Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
inria-00101008v1  Journal articles
Egidio AstesianoMichel BidoitHélène KirchnerBernd Krieg-BrücknerPeter D. Mosses et al.  CASL: The Common Algebraic Specification Language
Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196
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-00101021v1  Journal articles
Virginie Galtier. Un élément de gestion des réseaux actifs
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2002, 21, pp.899-924
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-00101033v1  Journal articles
Jean-François MariFlorence Le BerMarc Benoît. Segmentation temporelle et spatiale de données agricoles
Revue Internationale de Géomatique, Lavoisier, 2002, 12 (4), pp.439-460
inria-00101035v1  Journal articles
Lhassane IdoumgharDebreux Philippe. New Modelling Approach for the Frequency Assignment Problem in Broadcasting
IEEE Transactions on Broadcasting, Institute of Electrical and Electronics Engineers, 2002, 48 (4), pp.293-298
inria-00101038v1  Journal articles
Vladimir Y. LuninNatasha LuninaA. PodjarnyAlexander BockmayrAlexandre Urzhumtsev. Ab initio phasing starting from low resolution
Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
inria-00101044v1  Journal articles
Yves BertotNicolas MagaudPaul Zimmermann. A Proof of GMP Square Root
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
...
inria-00107694v1  Journal articles
Gérôme CanalsPascal MolliClaude Godart. Support for End User Participation using Replicated Versions and Group Communication
ACM SIGGROUP Bulletin, Association for Computing Machinery (ACM), 1999, 20 (1), pp.5-9. ⟨10.1145/327556.327598⟩