Skip to Main content Skip to Navigation


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-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-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. ⟨10.1109/MCG.2002.1046628⟩
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
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-00098905v1  Journal articles
Manuel MunierKhalid BenaliClaude Godart. DisCOO, a really distributed system for cooperation
Networking and Information Systems Journal, Editions Hermès, 1999, 2 (5-6), pp.605-637
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-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-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-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-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-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-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-00100754v1  Journal articles
Bruno LévySylvain PetitjeanNicolas RayJérôme Maillot. Least Squares Conformal Maps for Automatic Texture Atlas Generation
ACM Transactions on Graphics, Association for Computing Machinery, 2002, 21 (3), 10 p
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-00100981v1  Journal articles
Frédéric LandraginSusanne Salmon-AltLaurent Romary. Ancrage référentiel en situation de dialogue
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2002, 43 (2), pp.99-129
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-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-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-00098825v1  Journal articles
Jens Gustedt. Finiteness Theorems for Graphs and Posets Obtained by Compositions
Order, Springer Verlag, 1999, 15 (3), pp.203-220
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-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-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-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-00108064v1  Journal articles
Bernard GirauArnaud Tisserand. MLP computing and learning on FPGA using on-line arithmetic
International Journal on System Research and Information Science, Inconnu, 1999, 21 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-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-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-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-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
...
hal-00133420v1  Journal articles
Emmanuel FrénodFrédérique Watbled. The Vlasov equation with strong magnetic field and oscillating electric field as a model of isotope resonant separation
Electronic Journal of Differential Equations, Texas State University, Department of Mathematics, 2002, 2000, pp.1--20
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-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-00522005v1  Journal articles
Pierre-Yves DurandJacques ChanliauJean-Pierre ThomesseFrançois CharpilletLaurent Romary et al.  Une nouvelle ère en dialyse péritonéale : la télémédecine intelligente
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (1, S17)
...
inria-00522004v1  Journal articles
Pierre-Yves DurandJacques ChanliauAgnès MariotMichèle KesslerJean-Pierre Thomesse et al.  Télémédecine et Dialyse
Bulletin de Dialyse Péritonéale de Langue Française, Registre de Dialyse Péritonéale de Langue Française, 1999, 9 (3), pp.12-18
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-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-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-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
...
hal-01075154v1  Journal articles
Madalina DeaconuNicolas FournierEtienne Tanré. A pure jump Markov process associated with Smoluchowski's coagulation equation
Annals of Probability, Institute of Mathematical Statistics, 2002, 30, pp.1763 - 1796. ⟨10.1214/aop/1039548371⟩
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-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-00100846v1  Journal articles
Elias DahlhausJens GustedtRoss M. Mcconnell. Partially complemented representations of digraphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2002, 5, pp.147-168
inria-00108059v1  Journal articles
François CunyLaurent AlonsoChristophe WinklerNicolas Holzschuch. Radiosité à base d'ondelettes sur des mailles quelconques
Revue Internationale de CFAO et d'informatique graphique et d'informatique graphique, Hermès, 1999, 14 (1), pp.41-56
inria-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
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-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-00100969v1  Journal articles
Johanne CohenPierre FraigniaudCyril Gavoille. Recognizing Knödel graphs
Discrete Mathematics, Elsevier, 2002, pp.41-62
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-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⟩
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-00100936v1  Journal articles
Mireille Bousquet-MélouGilles Schaeffer. Walks in the slit plane
Probability Theory and Related Fields, Springer Verlag, 2002, 124 (3), pp.305-344
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-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-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-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-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
...
hal-01153734v1  Journal articles
Viviana BonoMichele BugliesiMariangiola Dezani-CiancagliniLuigi Liquori. A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364
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