Skip to Main content Skip to Navigation


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 EuzenatAmedeo NapoliJean-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 CridligHumberto AbdelnurRadu StateOlivier 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. PicardEric MaurincommeM. SodermanJacques FeldmarRené 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 BertetJens GustedtMichel Morvan. Weak-order extensions of an order
Theoretical Computer Science, Elsevier, 2003, 304 (1-3), pp.249-268
inria-00401531v1  Journal articles
Helmut SchmidtAxel HuttLutz 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élouGilles Schaeffer. Walks in the slit plane
Probability Theory and Related Fields, Springer Verlag, 2002, 124 (3), pp.305-344
hal-00184425v1  Journal articles
Slim OuniMichael V. CohenHope IshakDominic 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 CappelleMaan El Badaoui El NajjarFrançois CharpilletDenis 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 BoichutPierre-Cyrille HeamOlga 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 Navetye-Qiong Song. Validation of In-Vehicle Real-Time Applications
Computers in Industry, Elsevier, 2001, 46 (2), pp.107-122
inria-00108038v1  Journal articles
Patrick GrosOlivier BournezEdmond 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 AubryAnnick 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 ThomasMahuna 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 DavidDavid 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 AronGilles SimonMarie-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 GoaocJan Kratochvilyoshio OkamotoChan-Su ShinAndreas 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 TinelliChristophe 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 DenisePaul 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 HermannPhokion 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 CadotAmedeo 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 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-00100248v1  Journal articles
Rim Al HulouAmedeo NapoliEmmanuel 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 GracAgnès BraudFlorence Le BerMichè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 BugeaudGuillaume Hanrot. Un nouveau critère pour l'équation de Catalan
Mathematika, University College London, 2000, 47, pp.63--73
inria-00099972v1  Journal articles
Franck GechterVincent ChevrierFranç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 TataGérôme CanalsClaude 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 RitchieVishwesh 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ïsGuillaume CeruttiDidier 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 GaujalNicolas 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 GardentBonnie 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 SantinelliLiliana 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 CherfiAmedeo Napoliyannick 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 MiggeAlain Jean-MarieNicolas 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 MiggeAlain Jean-MarieNicolas 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 BiluGuillaume Hanrot. Thue equations with composite fields
Acta Arithmetica, Instytut Matematyczny PAN, 1999, 88 (4), pp.311--326
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-00098595v1  Journal articles
Anne ReboulJacques 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 DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72
inria-00100040v1  Journal articles
Laurent AlonsoPhilippe ChassaingEdward M. ReingoldRené Schott. The worst-case chip problem
Information Processing Letters, Elsevier, 2004, 89 (6), pp.303-308
inria-00099944v1  Journal articles
Claude GodartPascal MolliGérald OsterOlivier PerrinHala 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. BlondelOlivier BournezPascal KoiranJohn 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 CirsteaClaude 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 CirsteaClaude 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 HewsonJacques DucheneFrançois CharpilletJamal SabouneValé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. RivinI. VardiP. 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 HanrotMichel QuerciaPaul 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èreMilena HeringJeff 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 NapoliFlorence 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 BuffetDouglas 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 BerAmedeo 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 PlaistedGregory Kucherov. The complexity of some complementation problems
Information Processing Letters, Elsevier, 1999, 71 (3-4), pp.159-165
inria-00100071v1  Journal articles
Manfred Schmidt-SchaussJü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éryDominique CansellCyril ProchDenis AbrahamPatrick 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. BrentPaul Zimmermann. Ten new primitive binary trinomials
Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1197-1199
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-00426385v1  Journal articles
Dominique CansellDominique MéryCyril 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 AlpanMohsen 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 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⟩
hal-02278033v1  Journal articles
Shane GriffithGeorges ChahineCé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 ZockGil FrancopouloAbdellatif 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 AndreyOlivier FestorAbdelkader LahmadiAiko PrasJü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 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-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 AlpanBruno 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 FleuryPierre Fraigniaud. Strategies for Path-Based Multicasting in Wormhole-Routed Meshes
Journal of Parallel and Distributed Computing, Elsevier, 1998, 53 (1), pp.26--62