Skip to Main content Skip to Navigation
  1. Search


inria-00448742v1  Journal articles
Laurent Noé, Gregory Kucherov. YASS: enhancing the sensitivity of DNA similarity search.
Nucleic Acids Research, Oxford University Press, 2005, 33 (Web Server issue), pp.W540-W543. ⟨10.1093/nar/gki478⟩
inria-00099728v1  Journal articles
Jérôme Euzenat, Amedeo Napoli, Jean-François Baget. XML et les objets (objectif XML)
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2003, 9 (3), pp.11--37
inria-00001223v1  Journal articles
Vincent Cridlig, Humberto Abdelnur, Radu State, Olivier Festor. XBGP-MAN: A XML management architecture for BGP
International Journal of Network Management, Wiley, 2006, 16 (4), pp.295-309. ⟨10.1002/nem.600⟩
inria-00615078v1  Journal articles
L. Picard, Eric Maurincomme, M. Soderman, Jacques Feldmar, René Anxionnat et al.  X-ray angiography in stereotactic conditions: techniques and interest for interventional neuroradiology
Stereotactic and Functional Neurosurgery, Karger, 1997, 68 (1-4 Pt 1), pp.117-20
hal-00917750v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.3
SAC Newsletter, SAC, 1996
hal-00917746v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.2.2
Computer Algebra Nederland Nieuwsbrief, CWI, 1995, pp.53--64
inria-00099565v1  Journal articles
Karell Bertet, Jens Gustedt, Michel Morvan. Weak-order extensions of an order
Theoretical Computer Science, Elsevier, 2003, 304 (1-3), pp.249-268
inria-00401531v1  Journal articles
Helmut Schmidt, Axel Hutt, Lutz Schimansky-Geier. Wave fronts in inhomogeneous neural field models
Physica D: Nonlinear Phenomena, Elsevier, 2009, 238 (14), pp.1101-1112. ⟨10.1016/j.physd.2009.02.017⟩
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
hal-00184425v1  Journal articles
Slim Ouni, Michael V. Cohen, Hope Ishak, Dominic Massaro. Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads
EURASIP Journal on Audio, Speech, and Music Processing, SpringerOpen, 2007, 2007, pp.ID 47891. ⟨10.1155/2007/47891⟩
hal-00599703v1  Journal articles
Cindy Cappelle, Maan El Badaoui El Najjar, François Charpillet, Denis Pormski. Virtual 3D City Model for Navigation in Urban Areas
Journal of Intelligent and Robotic Systems, Springer Verlag, 2011, 66, pp.377-399. ⟨10.1007/s10846-011-9594-0⟩
inria-00108035v1  Journal articles
Malika Smaïl. Vers des systèmes évolutifs de recherche d'information : un état de l'art
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (10), pp.1193-1222
inria-00181761v1  Journal articles
yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9
inria-00100930v1  Journal articles
Nicolas Navet, ye-Qiong Song. Validation of In-Vehicle Real-Time Applications
Computers in Industry, Elsevier, 2001, 46 (2), pp.107-122
inria-00108038v1  Journal articles
Patrick Gros, Olivier Bournez, Edmond Boyer. Using geometric quasi-invariants to match and model images of line segments
Computer Vision and Image Understanding, Elsevier, 1998, 69 (2), pp.135-155
inria-00099277v1  Journal articles
Philippe Aubry, Annick Valibouze. Using Galois ideals for computing relative resolvents
Journal of Symbolic Computation, Elsevier, 2000, 30 (6), pp.635--651. ⟨10.1006/jsco.2000.0376⟩
inria-00536851v1  Journal articles
Vincent Thomas, Mahuna Akplogan. Using “Social actions” and RL-algorithms to build policies in DEC-POMDP
IADIS International Journal on Computer Science and Information Systems, Iadis Press, 2009, 4 (3), pp.82-98
inria-00098976v1  Journal articles
Amos David, David Bueno. User modeling and cooperative information retrieval in information retrieval systems
Knowledge Organization, Ergon Verlag, 1999, 26 (1), pp.30-45
inria-00110628v1  Journal articles
Michael Aron, Gilles Simon, Marie-Odile Berger. Use of Inertial Sensors to Support Video Tracking
Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
inria-00431408v1  Journal articles
Xavier Goaoc, Jan Kratochvil, yoshio Okamoto, Chan-Su Shin, Andreas Spillner et al.  Untangling a Planar Graph
Discrete and Computational Geometry, Springer Verlag, 2009, 42 (4), pp.542-569. ⟨10.1007/s00454-008-9130-6⟩
inria-00099668v1  Journal articles
Cesare Tinelli, Christophe Ringeissen. Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
Theoretical Computer Science, Elsevier, 2003, 290 (1), pp.291-353
inria-00098797v1  Journal articles
Alain Denise, Paul Zimmermann. Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
Theoretical Computer Science, Elsevier, 1999, 218 (2), pp.233-248
inria-00099222v1  Journal articles
Miki Hermann, Phokion G. Kolaitis. Unification Algorithms Cannot Be Combined in Polynomial Time
Information and Computation, Elsevier, 2000, 162 (1-2), pp.24-42
inria-00099721v1  Journal articles
Martine Cadot, Amedeo Napoli. Une optimisation de l'extraction d'un jeu de règles s'appuyant sur les caractéristiques statistiques des données
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2003, 16 (6), pp.631-656
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-00100248v1  Journal articles
Rim Al Hulou, Amedeo Napoli, Emmanuel Nauer. Une mesure de similarité sémantique pour la classification de documents par le contenu
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2004, Numéro spécial L'objet, 10 (2--3), pp.217--230
inria-00098473v1  Journal articles
Emmanuel Nataf. Une formalisation du comportement des relations de la gestion OSI
Revue Electronique Réseaux Informatique Répartie, Université de Pau, 1998, 16 p
hal-00601991v1  Journal articles
Corinne Grac, Agnès Braud, Florence Le Ber, Michèle Trémolières. Un système d'information pour le suivi et l'évaluation de la qualité des cours d'eau -- Application à l'hydro-écorégion de la plaine d'Alsace
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2011, 16, pp.9-30
inria-00099119v1  Journal articles
yann Bugeaud, Guillaume Hanrot. Un nouveau critère pour l'équation de Catalan
Mathematika, University College London, 2000, 47, pp.63--73
inria-00099972v1  Journal articles
Franck Gechter, Vincent Chevrier, François Charpillet. Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2004, 18 (5-6), pp.743-777
inria-00100568v1  Journal articles
Samir Tata, Gérôme Canals, Claude Godart. Un modèle d'interaction pour les équipes virtuelles coopérantes
Réseaux et systèmes répartis, calculateurs parallèles, Hermès science, 2001, 13 (2-3), pp.267-294
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-01479851v1  Journal articles
Sylvain Maire. Un algorithme probabiliste de calculs d'approximations polynomiales sur un hypercube
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2003, 336 (2), pp.185-190
inria-00537988v1  Journal articles
David Ritchie, Vishwesh Venkatraman. Ultra-fast FFT protein docking on graphics processors
Bioinformatics, Oxford University Press (OUP), 2010, 26 (19), pp.2398-2405. ⟨10.1093/bioinformatics/btq444⟩
hal-02164364v1  Journal articles
Romain Azaïs, Guillaume Cerutti, Didier Gemmerlé, Florian Ingels. Treex : a Python package for manipulating rooted trees
Journal of Open Source Software, Open Journals, 2019, 4 (38), pp.1-2. ⟨10.21105/joss.01351⟩
inria-00100115v1  Journal articles
Jacques Lonchamp. Travail coopératif - les leçons d'Internet
L'Informatique Professionnelle, Gartner EXP-BLG, 2004, pp.19--23
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-00100448v1  Journal articles
Claire Gardent, Bonnie Webber. Towards the Use of Automated Reasoning in Discourse Disambiguation
Journal of Logic, Language and Information, Springer Verlag, 2001, 10 (4), pp.487-509. ⟨10.1023/A:1017916706972⟩
inria-00099527v1  Journal articles
Noëlle Carbonell. Towards the design of usable multimodal interaction languages
Universal Access in the Information Society, Springer Verlag, 2003, Special issue on multimodality: a step towards universal access, 2 (2), pp.143-159. ⟨10.1007/s10209-003-0051-0⟩
hal-00646578v1  Journal articles
Luca Santinelli, Liliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, Special issue related to the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS 2010, 8 (1), pp.54-61. ⟨10.1145/1967021.1967028⟩
inria-00178271v1  Journal articles
Jacques Lonchamp. Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.1-8
inria-00000460v1  Journal articles
Hacène Cherfi, Amedeo Napoli, yannick Toussaint. Towards a Text Mining Methodology Using Association Rules Extraction
Soft Computing, Springer Verlag, 2006, A Fusion of Foundations, Methodologies and Applications, 10 (5), pp.431--441. ⟨10.1007/s00500-005-0504-x⟩
inria-00093117v1  Journal articles
Vincent Chevrier. Tisser des toiles d'araignées sociales
Pour la science, Société Pour la Science 2006, La modélisation informatique, exploration du réel, Dossier (52), pp.62-64
inria-00099506v1  Journal articles
Jörn Migge, Alain Jean-Marie, Nicolas Navet. Timing analysis of compound scheduling policies: application to Posix1003.1b
Journal of Scheduling, Springer Verlag, 2003, 6 (5), pp.457-482
lirmm-00269745v1  Journal articles
Jörn Migge, Alain Jean-Marie, Nicolas Navet. Timing Analysis of Compound Scheduling Policies: Application to POSIX 1003.1b
Journal of Scheduling, Springer Verlag, 2003, 6 (5), pp.457-482
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-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-00098595v1  Journal articles
Anne Reboul, Jacques Moeschler. Théorie de l'esprit, rationalité et principe de charité : l'évaluation de la qualité des textes
Cahiers de linguistique française, Université de Genève, 1998, 20, pp.209-227
inria-00099711v1  Journal articles
Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
inria-00100040v1  Journal articles
Laurent Alonso, Philippe Chassaing, Edward M. Reingold, René Schott. The worst-case chip problem
Information Processing Letters, Elsevier, 2004, 89 (6), pp.303-308
inria-00099944v1  Journal articles
Claude Godart, Pascal Molli, Gérald Oster, Olivier Perrin, Hala Skaf-Molli et al.  The ToxicFarm Integrated Cooperation Framework for Virtual Teams
Distributed and Parallel Databases, Springer, 2004, Special Issue on Teamware, 15 (1), pp.67-88. ⟨10.1023/B:DAPD.0000009432.79864.08⟩
inria-00100924v1  Journal articles
Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis. The stability of saturated linear dynamical systems is undecidable
Journal of Computer and System Sciences, Elsevier, 2001, 62 (3), pp.442-462
inria-00100532v1  Journal articles
Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part II
Logic Journal of the IGPL, Oxford University Press (OUP), 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
inria-00100531v1  Journal articles
Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part I
Logic Journal of the IGPL, Oxford University Press (OUP), 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
inria-00170992v1  Journal articles
David Hewson, Jacques Duchene, François Charpillet, Jamal Saboune, Valérie Michel-Pellegrino et al.  The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩
inria-00108102v1  Journal articles
Cédric Lamathe. The Number of Labelled k-Arch Graphs
Journal of Integer Sequences, University of Waterloo, 2004, 7, 7 p
hal-00917740v1  Journal articles
I. Rivin, I. Vardi, P. Zimmermann. The n-Queens Problem
American Mathematical Monthly, Mathematical Association of America, 1994, 101 (7), pp.629--639. ⟨10.1080/00029890.1994.11997004⟩
inria-00100147v1  Journal articles
Guillaume Hanrot, Michel Quercia, Paul Zimmermann. The Middle Product Algorithm I. Speeding up the division and square root of power series
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2004, 14 (6), pp.415-438
inria-00099745v1  Journal articles
Jean-Charles Faugère, Milena Hering, Jeff Phan. The Membrane Inclusions Curvature Equations
Advances in Applied Mathematics, Elsevier, 2003, 31 (4), pp.643-658. ⟨10.1016/S0196-8858(03)00039-3⟩
hal-00162171v1  Journal articles
Amedeo Napoli, Florence Le Ber. The Galois lattice as a hierarchical structure for topological relations
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, pp.1-20. ⟨10.1007/s10472-007-9054-5⟩
inria-00330031v1  Journal articles
Olivier Buffet, Douglas Aberdeen. The Factored Policy-Gradient Planner
Artificial Intelligence, Elsevier, 2009, 173 (5-6), pp.722-747. ⟨10.1016/j.artint.2008.11.008⟩
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-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-00100071v1  Journal articles
Manfred Schmidt-Schauss, Jürgen Stuber. The complexity of linear and stratified context matching problems
Theory of Computing Systems, Springer Verlag, 2004, 37 (6), pp.717-740
inria-00001252v1  Journal articles
Dominique Méry, Dominique Cansell, Cyril Proch, Denis Abraham, Patrick Ditsch. The challenge of QoS for digital television services
EBU Technical Review, European Broadcasting Union, 2005, 302 (Avril), 11 p
inria-00337525v1  Journal articles
Richard P. Brent, Paul Zimmermann. Ten new primitive binary trinomials
Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1197-1199
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-00426385v1  Journal articles
Dominique Cansell, Dominique Méry, Cyril Proch. System-on-chip design by proof-based refinement
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩
inria-00098485v1  Journal articles
Gülgün Alpan, Mohsen A. Jafari. Synthesis of Sequential Controllers in the presence of Conflicts and Free Choices
IEEE Transactions on Robotics and Automation, Institute of Electrical and Electronics Engineers (IEEE), 1998, 14 (3), pp.488-492
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⟩
hal-02278033v1  Journal articles
Shane Griffith, Georges Chahine, Cédric Pradalier. Symphony Lake Dataset
The International Journal of Robotics Research, SAGE Publications, 2017, 36 (11), pp.1151-1158. ⟨10.1177/0278364917730606⟩
hal-01480003v1  Journal articles
Michael Zock, Gil Francopoulo, Abdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
inria-00432582v1  Journal articles
Laurent Andrey, Olivier Festor, Abdelkader Lahmadi, Aiko Pras, Jürgen Schönwälder. Survey of SNMP performance analysis studies
International Journal of Network Management, Wiley, 2009, 19 (6), pp.527-548. ⟨10.1002/nem.729⟩
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-00093351v1  Journal articles
Jacques Lonchamp. Supporting synchronous collaborative learning: A generic, multi-dimensional model
International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2006, 1 (2), pp.247-276. ⟨10.1007/s11412-006-8996-7⟩
inria-00099110v1  Journal articles
Gülgün Alpan, Bruno Gaujal. Supervisory Control of Petri Nets using routing function: Starvation avoidance issues
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2000, 30 (5), pp.684-695
inria-00098497v1  Journal articles
Eric Fleury, Pierre Fraigniaud. Strategies for Path-Based Multicasting in Wormhole-Routed Meshes
Journal of Parallel and Distributed Computing, Elsevier, 1998, 53 (1), pp.26--62
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/