Skip to Main content Skip to Navigation


inria-00119482v1  Journal articles
Daniel SzerFrançois CharpilletShlomo Zilberstein. Résolution optimale de DEC-POMDPs par recherche heuristique
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, Prise de décision séquentielle, 21 (1), pp. 107-128
hal-01330354v1  Journal articles
Mohamed TligOlivier BuffetOlivier Simonin. Intersections intelligentes pour le contrôle de véhicules sans pilote : coordination locale et optimisation globale
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2016, 30 (3), pp.353-382. ⟨10.3166/ria.30.353-382⟩
...
hal-01289699v1  Journal articles
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.14. ⟨10.20382/jocg.v7i1a5⟩
...
hal-01285120v1  Journal articles
Olivier DevillersMarc GlisseXavier GoaocRémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. ⟨10.20382/jocg.v7i2a6⟩
...
hal-01348831v1  Journal articles
Olivier DevillersRoss Hemsley. The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.332-359. ⟨10.20382/jocg.v7i1a16⟩
...
inria-00155996v1  Journal articles
Vincent ThomasChristine BourjotVincent Chevrier. Construction de systèmes multi-agents par apprentissage collectif à base d'interactions
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, 21 (5-6), pp.643-672
inria-00175666v1  Journal articles
François CharpilletFabrice Lauri. Optimation par colonies de fournis d'un essaim de patrouilleurs pour la surveillance de zone
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, 22 (1)
hal-01350450v1  Journal articles
Antoine LiutkusEmmanuel Vincent. Démixer la musique
Interstices, INRIA, 2016
hal-01350455v1  Journal articles
Serena IvaldiJoanna Jongwane. Des robots au service des hommes
Interstices, INRIA, 2016
...
inria-00201561v1  Journal articles
Mathieu d'AquinJean LieberAmedeo Napoli. La représentation de points de vue dans le système d'aide à la décision en cancérologie KASIMIR
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (2-3), pp.143-175
lirmm-00201467v1  Journal articles
Amine Mohamed Rouane HaceneMichel DaoMarianne HuchardPetko Valtchev. Aspects de la réingénierie des modèles UML par analyse de données relationnelles
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.39-68
inria-00576588v1  Journal articles
Silvio GhilardiEnrica NicoliniSilvio RaniseDaniele Zucchelli. Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, 50 (3-4), pp.231-254. ⟨10.1007/s10472-007-9078-x⟩
inria-00178352v1  Journal articles
Véronique CortierMichaël RusinowitchEugen Zalinescu. Relating two standard notions of secrecy
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 3 (3, paper 2), pp.1-29. ⟨10.2168/LMCS-3(3:2)2007⟩
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387
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-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-00188601v1  Journal articles
Vincent LerouxBernard Maigret. Should structure-based virtual screening techniques be used more extensively in modern drug discovery ?
Computers and Applied Chemistry, Peking Publishing House of Electronics Industry, 2007, 27, pp.1-10
inria-00338067v1  Journal articles
Philippe Beaucamps. Polymorphisme Viral sous Linux (Viral Polymorphism in Linux)
GNU/Linux Magazine, Diamond Editions, 2007, Hors Série 32
...
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
...
hal-01386988v1  Journal articles
Jasmin BlanchetteCezary KaliszykLawrence PaulsonJosef Urban. Hammering towards QED
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148
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⟩