Skip to Main content Skip to Navigation


hal-02501028v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel Rebuschi. (In)coherence of Discourse. Formal and conceptual issues of language
Springer, 2021, Language, Cognition and Mind (Chungmin Lee “Editor Springer book series)
hal-01247991v1  Conference papers
Gábor AlagiChristoph Weidenbach. {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. pp.69-84, ⟨10.1007/978-3-319-24246-0_5⟩
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
hal-02400510v1  Directions of work or proceedings
Dominique MéryShengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
inria-00110850v1  Conference papers
Sébastien GorgesErwan KerrienMarie-Odile BergerYves TroussetJérémie Pescatore et al.  3D Augmented Fluoroscopy in Interventional Neuroradiology: Precision Assessment and First Evaluation on Clinical Cases
Workshop on Augmented environments for Medical Imaging and Computer-aided Surgery - AMI-ARCS 2006 (held in conjunction with MICCAI'06), Wolfgang Birkfellner, Nassir Navab and Stephane Nicolau, Nov 2006, Copenhagen, Denmark
inria-00098884v1  Conference papers
Pierre TellierIsabelle Debled-Rennesson. 3D Discrete Normal Vectors
International Conference on Discrete Geometry for Computer Imagery - DGCI'99, 1999, Marne-la-Vallée, France, pp.447-458
inria-00108037v1  Journal articles
Marie-Danielle VazquezPierre BouchetJean-Laurent MalletBernard FoliguetHubert Gerard et al.  3D reconstruction of the mouse's mesonephros.
Anatomia, Histologia, Embryologia, Wiley, 1998, 27 (5), pp.283-287
hal-01086073v1  Conference papers
Utpala MustiSlim OuniZhou Ziheng. 3D Visual Speech Animation from Image Sequences
Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP), Dec 2014, Bangalore, India
inria-00099513v1  Directions of work or proceedings
Ingo DahnLaurent Vigneron. 4th International Workshop on First-Order Theorem Proving- FTP'2003
1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science
hal-02296176v1  Directions of work or proceedings
Filip de TurckChristian JacquenetProsper ChemouilOlivier FestorFranco Callegati et al.  5th IEEE Conference on Network Softwarization, NetSoft 2019, Paris, France
NetSoft 2019 - 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. 2019, ISBN 978-1-5386-9376-6
inria-00000901v1  Book sections
Olivier FestorIsabelle Réchiniac. 6Net : An IPv6 Deployment Guide : Contribution to Chapter 7 Network Management
Martin Dunmore. 6Net : An IPv6 Deployment Guide, The 6Net consortium, 2005
inria-00100760v1  Reports
Olivier FestorRob EvansBernard TuyRalf Wolter. 6NET Network Management Initial Architecture
[Contract] A02-R-081 || festor02a, 2002, 19 p
inria-00000348v1  Conference papers
Jacques Lonchamp. A ‘Swiss Army Knife' for Chatting in Distributed Educational Settings
Fourth IASTED International Conference on Web-based Education - WBE'05, Feb 2005, Grindelwald, Suisse
inria-00429327v1  Conference papers
Evren ImreMarie-Odile Berger. A 3-Component Inverse Depth Parameterization for Particle Filter SLAM
31st annual pattern recognition symposium of the German Association for Pattern Recognition - DAGM 2009, Sep 2009, Jena, Germany. pp.1--10, ⟨10.1007/978-3-642-03798-6_1⟩
hal-01882068v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4x4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
ISCAS, IEEE International Symposium on Circuits and Systems, May 2007, New Orleans, United States
inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
hal-00804303v1  Conference papers
Wahiba TaoualiNicolas RougierFrédéric Alexandre. A basic model of saccades encoding
The NeuroComp/KEOpS'12 workshop, Oct 2012, Bordeaux, France
inria-00100524v1  Conference papers
Khalid DaoudiDominique FohrChristophe Antoine. A Bayesian network for time-frequency speech modeling and recognition
International Conference on Artificial Intelligence and Soft Computing, May 2001, Cancun, Mexico, 5 p
inria-00100263v1  Conference papers
Mohamed KhalguiXavier RebeufFrançoise Simonot-Lion. A behavior model for IEC 61499 function blocks
Third Workshop on Modelling of Objects, Components, and Agents 2004 - MOCA'04, 2004, Aarhus/Denmark, 17 p
hal-03265573v1  Conference papers
Étienne AndréDylan MarinhoJaco van de Pol. A Benchmarks Library for Extended Parametric Timed Automata
15th International Conference on Tests and Proofs (TAP 2021), Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
inria-00100860v1  Conference papers
Dominique PoulalhonGilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p