Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	inria-00522005v1 Journal articles Pierre-Yves Durand, Jacques Chanliau, Jean-Pierre Thomesse, François Charpillet, Laurent 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-00108064v1 Journal articles Bernard Girau, Arnaud Tisserand. MLP computing and learning on FPGA using on-line arithmetic International Journal on System Research and Information Science, Inconnu, 1999, 21 p
	inria-00108059v1 Journal articles François Cuny, Laurent Alonso, Christophe Winkler, Nicolas Holzschuch. Radiosité à base d'ondelettes sur des mailles quelconques Revue Internationale de CFAO et d'informatique graphique, Hermès, 1999, 14 (1), pp.41-56
	inria-00108056v1 Journal articles François Bertault, Olivier Ramaré, Paul Zimmermann. On Sums of Seven Cubes Mathematics of Computation, American Mathematical Society, 1999, 68 (227), pp.1303-1310
	inria-00108054v1 Journal articles Olivier Zendra, Dominique Colnet, Philippe Coucaud. La programmation à objets. Application au langage Eiffel (4ème partie) Linux Magazine France, Diamond Editions, 1999, 4 p
	inria-00108051v1 Journal articles Yuri Bilu, Guillaume Hanrot. Thue equations with composite fields Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
	inria-00108048v1 Journal articles Gilles Simon, Marie-Odile Berger. Des méthodes efficaces pour l'incrustation d'objets virtuels dans des séquences d'images Traitement du Signal, Lavoisier, 1999, 16 (1), pp.31-46
	hal-00102819v1 Journal articles Johanne Cohen, Pierre Fraigniaud, Margarita Mitjana. Polynomial Time Algorithms for Minimum-Time Broadcast in Tree Theory of Computing Systems, Springer Verlag, 2002, 35, pp.641--665. ⟨10.1007/s00224-002-1047-5⟩
	inria-00101044v1 Journal articles Yves Bertot, Nicolas Magaud, Paul 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-00101040v1 Journal articles Linet Ozdamar, Sevket Ilker Birbil, Marie-Claude Portmann. Technical note: new results for the capacited lot sizing problem with overtime decisions and setup times Production Planning and Control, Taylor & Francis, 2002, 13 (1), pp.2-10
	inria-00101039v1 Journal articles Rim Al Hulou, Amedeo Napoli. Combining XML and Description Logics for Describing and Querying Documents ERCIM News, ERCIM, 2002, pp.32-33
	inria-00101038v1 Journal articles Vladimir Y. Lunin, Natasha Lunina, A. Podjarny, Alexander Bockmayr, Alexandre Urzhumtsev. Ab initio phasing starting from low resolution Zeitschrift für Kristallographie, De Gruyter, 2002, 217 (12), pp.668-685
	inria-00101035v1 Journal articles Lhassane Idoumghar, Debreux 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-00101033v1 Journal articles Jean-François Mari, Florence Le Ber, Marc Benoît. Segmentation temporelle et spatiale de données agricoles Revue Internationale de Géomatique, Lavoisier, 2002, 12 (4), pp.439-460
	inria-00101029v1 Journal articles Mark G. J. van den Brand, J. Heering, P. Klint, P.A. Olivier. Compiling language definitions: The ASF+SDF compiler ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368. ⟨10.1145/567097.567099⟩
	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-00101008v1 Journal articles Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses et al. CASL: The Common Algebraic Specification Language Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196. ⟨10.1016/S0304-3975(01)00368-1⟩
	inria-00101009v1 Journal articles Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336
	inria-00101005v1 Journal articles Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann. Aliquot Sequence 3630 Ends After Reaching 100 Digits Experimental Mathematics, Taylor & Francis, 2002, 11 (2), pp.201-206
	inria-00101003v1 Journal articles Françoise Simonot-Lion, Laurent Kaiser, Ricardo 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-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-00100989v1 Journal articles Yann Bugeaud, Guillaume Hanrot, Maurice 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-00100990v1 Journal articles Claire Gardent, Jean-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-00100978v1 Journal articles Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry 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 Aubry, Fabrice Rouillier, Mohab 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-00100974v1 Journal articles Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
	inria-00100969v1 Journal articles Johanne Cohen, Pierre Fraigniaud, Cyril Gavoille. Recognizing Knödel graphs Discrete Mathematics, Elsevier, 2002, pp.41-62
	inria-00100958v1 Journal articles Guillaume Thisselin, Antony Vignier. A Scheduling Problem with Multiple Purposes and Unrelated Resources ("The Farmer Problem") European Journal of Operational Research, Elsevier, 2002, 17 p
	inria-00100955v1 Journal articles Mohamed Ali Aloulou, Marie-Claude Portmann. A genetic algorithm to achieve scheduling flexibility for a single machine problem RAIRO - Operations Research, EDP Sciences, 2002, 19 p
	inria-00100950v1 Journal articles Asma Ghaffari, Nidhal Rezg, Xiaolan 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-00100949v1 Journal articles Mohamed Ali Aloulou, Marc Sevaux, André Rossi, Marie-Laure Espinouse, Aziz 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-00100936v1 Journal articles Mireille Bousquet-Mélou, Gilles Schaeffer. Walks in the slit plane Probability Theory and Related Fields, Springer Verlag, 2002, 124 (3), pp.305-344
	inria-00100937v1 Journal articles Dominique Poulalhon, Gilles Schaeffer. Factorisations of large cycles in the symmetric group Discrete Mathematics, Elsevier, 2002, 254 (1-3), pp.433-458
	inria-00100913v1 Journal articles Nicolas Navet, Jean-Pierre Thomesse. L'ordonnancement, la clé d'une gestion efficace des ressources J'automatise, CiMax, 2002, 5 p
	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-00100899v1 Journal articles Eitan Altman, Bruno Gaujal, Arie Hordijk. Regular Ordering and Applications in Control Policies Discrete Event Dynamic Systems, Springer Verlag, 2002, 12 (2), pp.187-210
	inria-00100901v1 Journal articles Gülgün Alpan, Mohsen 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 Baccelli, Bruno Gaujal, Daniel 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-00100893v1 Journal articles Bruno Gaujal, Emmanuel 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-00100891v1 Journal articles Patrick Blackburn, Maarten 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 Biedl, Erik Demaine, Martin Demaine, Sylvain Lazard, Anna 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-00100879v1 Journal articles Nicolas Rémy, Arben Shtuka, Bruno Lévy, Jeff Caers. GsTL: a geostatistical template library in C++ Computers & Geosciences, Elsevier, 2002, 28 (8), pp.971-979
	inria-00100865v1 Journal articles Françoise Simonot-Lion, Jean-Pierre Elloy, Yvon Trinquet. AIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile Le Magazine d'Asprom, ASPROM, 2002, pp.34-36
	inria-00100847v1 Journal articles Isabelle Guérin-Lassous, Jens Gustedt. Portable List Ranking: an Experimental Study ACM Journal of Experimental Algorithmics, Association for Computing Machinery, 2002, 7 (7), 18 p. ⟨10.1145/944618.944625⟩
	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-00100804v1 Journal articles Laurent Wendling, Antoine Tabbone, Pascal 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-00100802v1 Journal articles Gilles Simon, Marie-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 Devignes, André Schaaff, Malika 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-00100778v1 Journal articles Vladimir Y. Lunin, Alexandre Urzhumtsev, Alexander Bockmayr. Binary integer programming and its use for envelope determination CCP4 Newsletter on Protein Crystallography, CCP, 2002, 9 p
	inria-00100777v1 Journal articles Vladimir Y. Lunin, Alexandre Urzhumtsev, Alexander Bockmayr. Direct phasing by binary integer programming Acta Crystallographica Section A : Foundations and Advances [2014-..], International Union of Crystallography, 2002, 58, pp.283-291. ⟨10.1107/s0108767302004002⟩
	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-00100759v1 Journal articles Florence Le Ber, Amedeo Napoli. The design of an object-based system for representing and classifying spatial structures and relations Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2002, 8 (8), pp.751-773. ⟨10.3217/jucs-008-08-0751⟩
	inria-00100743v1 Journal articles Miguel Alabau, Lhassane Idoumghar, René 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-00100726v1 Journal articles Paolo Castelpietra, Ye-Qiong Song, Françoise Simonot-Lion, Mondher 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-00100725v1 Journal articles Olivier Bournez, Michael 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-00100722v1 Journal articles Selma Arbaoui, Jean-Claude Derniame, Flavio Oquendo, Hervé Verjus. A Comparative review of Process-Centered Software Engineering Environments Annals of Software Engineering, Springer Verlag, 2002, 14 (1-4), pp.311-340. ⟨10.1023/A:1020513911052⟩
	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-00100719v1 Journal articles Jean-Francois Remm, Frédéric Alexandre. Knowledge extraction using artificial neural networks: Application to radar target identification Signal Processing, Elsevier, 2002, 82 (1), pp.117-120. ⟨10.1016/S0165-1684(01)00142-6⟩
	inria-00100715v1 Journal articles Hervé Frezza-Buet, Frédéric Alexandre. From a biological to a computational model for the autonomous behavior of an animat Information Sciences, Elsevier, 2002, 144 (1-4), pp.1-43. ⟨10.1016/S0020-0255(02)00195-0⟩
	inria-00100709v1 Journal articles Serge Grigorieff, Jean-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-00100714v1 Journal articles Adel Bouhoula, Michaë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-00100711v1 Journal articles Richard Blute, François Lamarche, Paul 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-00100713v1 Journal articles Gemma Sánchez, Josep Lladós, Karl Tombre. A Mean String Algorithm to Compute the Average Among a Set of 2D Shapes Pattern Recognition Letters, Elsevier, 2002, 23 (1-3), pp.203-213. ⟨10.1016/S0167-8655(01)00122-2⟩
	inria-00100710v1 Journal articles Arnaud Durand, Miki Hermann, Laurent Juban. On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System Theoretical Computer Science, Elsevier, 2002, 270 (1-2), pp.625-642. ⟨10.1016/S0304-3975(01)00017-2⟩
	inria-00100712v1 Journal articles Philippe de Groote, François Lamarche. Classical Non Associative Lambek Calculus Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. ⟨10.1023/A:1020520915016⟩
	inria-00100533v1 Journal articles Jean-Daniel Boissonnat, Subir Kumar Ghosh, Telikepalli Kavitha, Sylvain Lazard. An algorithm for computing a convex and simple path of bounded curvature in a simple polygon Algorithmica, Springer Verlag, 2002, 34 (2), pp.109-156. ⟨10.1007/s00453-002-0950-0⟩
	inria-00099018v1 Journal articles Alexander Bockmayr, Friedrich Eisenbrand, Mark Hartmann, Andreas 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-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-00099002v1 Journal articles Laurent Bougrain, Frédéric Alexandre. Unsupervised Connectionist Algorithms for Clustering an environmental data set : a comparison Neurocomputing, Elsevier, 1999, 28 (1-3), pp.177-189
	inria-00098990v1 Journal articles Olivier Zendra, Dominique Colnet, Philippe Coucaud. La programmation à objets - Application au langage Eiffel (3ème partie) Linux Magazine France, Diamond Editions, 1999, 4 p
	inria-00098986v1 Journal articles Miki Hermann, Phokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136
	inria-00098976v1 Journal articles Amos Abayomi David, David Bueno. User modeling and cooperative information retrieval in information retrieval systems Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
	inria-00098975v1 Journal articles Philippe Coucaud, Olivier Zendra, Dominique Colnet. La programmation à objets : Application au langage Eiffel. 2ème partie Linux Magazine France, Diamond Editions, 1999, pp.52-55
	inria-00098969v1 Journal articles Mohamed Afify, Yifan Gong, Jean-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-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-00098965v1 Journal articles Bruno Gaujal, Nicolas 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 Coucaud, Olivier Zendra, Dominique Colnet. La programmation à objets. Application au langage Eiffel Linux Magazine France, Diamond Editions, 1999, pp.63-76
	inria-00098951v1 Journal articles Jean Lieber, Amedeo 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-00098913v1 Journal articles Florence Le Ber, Ludmila Mangelinck, Amedeo 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-00098908v1 Journal articles Laurent Wendling, A. Paries. Directed Acyclic Graph Compression of Labelled Trees Machine Graphics & Vision, Instytut podstaw informatyki (Pologne), 1999, 8 (2), pp.169-174
	inria-00098910v1 Journal articles Eric Domenjoud, Claude Kirchner, Jianyang Zhou. Generating feasible schedules for a pick-up and delivery problem Electronic Notes in Discrete Mathematics, Elsevier, 1999, 1
	inria-00098909v1 Journal articles Pascal Matsakis, Laurent 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-00098898v1 Journal articles Nicolas Navet, Ye-Qiong Song. Reliability Improvement of the Dual-Priority Protocol under Unreliable Transmission Control Engineering Practice, Elsevier, 1999, 7 (8), pp.975-981
	inria-00098894v1 Journal articles Philippe Coucaud, Olivier Zendra, Dominique Colnet. Gestion mémoire: manuelle ou automatique ? Programmez !, Magazine Programmez, 1999, pp.54-57
	inria-00098889v1 Journal articles Marc Braun, Pierre Bouchet, Jean-Jacques Hublin, Jean-Laurent Mallet. Les reconstitutions virtuelles des hommes préhistoriques Pour la Science. Dossier, Belin, 1999, pp.78-81
	inria-00098891v1 Journal articles Fabrice Guillemot, Charles Auffray, Marie-Dominique Devignes. 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-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-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-00098856v1 Journal articles Claude Kirchner, Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud. A Methodological View of Constraint Solving Constraints, Springer Verlag, 1999, 4 (4), pp.337-361
	inria-00098854v1 Journal articles Roman Kolpakov, Gregory Kucherov, Yuri Tarannikov. On repetition-free binary words of minimal density Theoretical Computer Science, Elsevier, 1999, 218 (1), pp.161--175
	inria-00098851v1 Journal articles David Plaisted, Gregory Kucherov. The complexity of some complementation problems Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
	inria-00098846v1 Journal articles Y.-F.-S. Pétermann, Jean-Luc Rémy, I. 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-00098848v1 Journal articles Hazel Everett, Ferran Hurtado, Marc Noy. Stabbing information of a simple polygon Discrete Applied Mathematics, Elsevier, 1999, 91 (1-3), pp.67-92
	inria-00098841v1 Journal articles Michel Cosnard, Emmanuel Jeannot. Compact DAG Representation and its Dynamic Scheduling Journal of Parallel and Distributed Computing, Elsevier, 1999, 58 (3), pp.487-514
	inria-00098826v1 Journal articles Stefan Felsner, Jens Gustedt, Michel Morvan. Interval Reductions and Extensions of Orders : Bijections to Chains in Lattices Order, Springer Verlag, 1999, 15 (3), pp.221-246
	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-00098820v1 Journal articles Marie-Odile Berger, Brigitte Wrobel-Dautcourt, Sylvain Petitjean, Gilles 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
	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :