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
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 FestorWalter Cerroni 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 Astic. 6Net : An IPv6 Deployment Guide : Contribution to Chapter 7 Network Management
Martin Dunmore. 6Net : An IPv6 Deployment Guide, The 6Net consortium, 2005
inria-00100845v1  Reports
Isabelle AsticTim ChownJérôme J. DurandRobert EvansFulvio Risso et al.  6Net IPv6 Network Management Cookbook
[Contract] A02-R-187 || astic02c, 2002, 20 p
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 P. 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
TAP 2021 - 15th International Conference on Tests and Proofs, 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
inria-00099657v1  Conference papers
Alexander BockmayrVladimir y. LuninAlexandre Urzhumtsev. A binary integer programming approach for the determination of structures of biological macromolecules
Moscow Conference on Computational Molecular Biology 2003 - MCCMB'03, 2003, Moscou, Russie, pp.44-45
inria-00100175v1  Conference papers
Damien StehléPaul Zimmermann. A Binary Recursive Gcd Algorithm
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
inria-00543032v1  Conference papers
Miquel Tarzan-LorenteAgustin Gutierrez-GalvezDominique MartinezSantiago Marco. A Biologically Inspired Associative Memory for Artificial Olfaction
International Joint Conference on Neural Networks - IJCNN 2010, 2010, Barcelone, Spain
inria-00114831v1  Conference papers
Walid GaaloulKarim BaïnaClaude Godart. A bottom-up workflow mining approach for workflow applications analysis
2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA
inria-00099216v1  Conference papers
Tawfik Es-SqalliEric FleuryJacques Guyard. A broadcast message passing protocol based on corba event service
International Conference on Parallel & Distributed Processing Techniques & Applications, 2000, Las Vegas, Nevada, USA, 4 p
hal-01648694v1  Conference papers
Russell BradfordJames H. DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
inria-00100480v1  Conference papers
Nicolas P. RougierFrédéric Alexandre. A cerebral framework for integrating biologically plausible mechanisms in large connectionist models
International Conference on Systems in Biology, 2001, Pasadena, USA, United States. 1 p
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
inria-00580198v1  Conference papers
Samuel Cruz-LaraTarik OsswaldJordan GuinaudNadia BellalemLotfi Bellalem. A Chat Interface Using Standards for Communication and E-learning in Virtual Worlds
ICEIS 2010 - 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal-Madeira, Portugal. pp.541-554, ⟨10.1007/978-3-642-19802-1_37⟩
inria-00100161v1  Conference papers
Guillaume DoyenOlivier FestorEmmanuel Nataf. A CIM Extension for Peer-to-Peer Network and Service Management
11th International Conference on Telecommunications - ICT'2004, 2004, Fortaleza, Brésil, pp.801-810
inria-00100634v1  Conference papers
Hager KammounJean-Charles Lamirel. A classificatory System for Information Retrieval: SARCI
The 5th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI 2001, Jul 2001, Orlando, USA
hal-01241302v1  Conference papers
Nadir GuetmiAbdessamad Imine. A Cloud-Based Reusable Design for Mobile Data Sharing
Model and Data Engineering, Sep 2015, Island of Rhodes, Greece. ⟨10.1007/978-3-319-23781-7_6⟩
inria-00103509v1  Conference papers
S. ChenAmine BermakW. WanDominique Martinez. A CMOS image sensor with combined adaptive-quantization and QTD-based on-chip compression processor
IEEE Custom Integrated Circuits Conference - CICC 2006, Sep 2006, San Jose, California/USA
hal-00009615v1  Book sections
Matthieu Quignard. A Collaborative Model of Argumentation in Dyadic Problem-Solving Interactions
Frans van Eemeren & Peter Houtlosser. Argumentation in Practice, John Benjamins, pp.69-86, 2005, Controversies
inria-00098486v1  Conference papers
Gülgün AlpanMohsen A. Jafari. A Combined Plant + Controller Model of Discrete Event Systems
International Workshop on Discrete Event Systems - WoDES, 1998, Cagliari, Sardinia, pp.73-78