HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

inria-00000408v1  Conference papers
Alessandro ArmandoDavid BasinYohan BoichutYannick ChevalierLuca Compagna et al.  The AVISPA Tool for the automated validation of internet security protocols and applications
17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
inria-00000427v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation
International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
inria-00000481v1  Conference papers
Pascal FontaineSilvio RaniseCalogero Zarba. Combining Lists with Non-Stably Infinite Theories
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩
inria-00000607v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Study for Automatically Analysing Non-repudiation
1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
inria-00080593v1  Conference papers
Anupam DattaAnte DerekJohn C. MitchellArnab RoyVitaly Shmatikov et al.  Computationally Sound Compositional Logic for Security Protocols
Workshop on Formal and Computational Cryptography - FCC 2006, Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy
inria-00080673v1  Conference papers
Yassine LakhnechLaurent MazareBogdan Warinschi. Soundness of Symbolic Equivalence for Modular Exponentiation
Workshop on Formal and Computational Cryptography - FCC 2006, Véronique Cortier et Steve Kremer, Jul 2006, Venice/Italy
inria-00090165v1  Conference papers
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automatic Verification of Key Management Architecture for Hierarchical Group Protocols
Sécurité et Architecture des Réseaux - SAR 2006, May 2006, Seignosse/France, pp.381-397
inria-00091656v1  Conference papers
Véronique Cortier. Verification of cryptographic protocols: techniques and link to cryptanalysis
Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06, Sep 2006, Nancy/France
inria-00091660v1  Conference papers
Charu AroraMathieu Turuani. Adding Integrity to the Ephemerizer's Protocol
Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06, Sep 2006, Nancy/France, pp.146-151
inria-00099882v1  Conference papers
Yannick ChevalierLuca CompagnaJorge CuellarPaul Hankes DrielsmaJacopo Mantovani et al.  A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Workshop on Specification and Automated Processing of Security Requirements - SAPS'2004, 2004, Linz, Austria, 13 p
inria-00099889v1  Conference papers
Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
18th International Workshop on Unification - UNIF'2004, Jul 2004, Cork, Ireland, 15 p
inria-00103573v1  Conference papers
Mathieu Turuani. The CL-Atse Protocol Analyser
17th International Conference on Term Rewriting and Applications - RTA 2006, Aug 2006, Seattle, WA/USA, pp.277--286
inria-00103602v1  Conference papers
Max TuengerthalRalf KüstersMathieu Turuani. Implementing a Unification Algorithm for Protocol Analysis with XOR
20th International Workshop on Unification - UNIF'06, Aug 2006, Seattle, WA/USA, pp.1-5
inria-00105519v1  Conference papers
Najah ChridiLaurent Vigneron. Strategy for Flaws Detection based on a Services-driven Model for Group Protocols
Workshop on Constraints in Software Testing, Verification and Analysis - CSTVA 06, Sep 2006, Nantes/France, pp.88-99
inria-00106159v1  Conference papers
Le Hong PhuongThi Minh Huyen NguyenLaurent RomaryAzim Roussanaly. A Lexicalized Tree-Adjoining Grammar for Vietnamese
International Conference on Language Resources and Evaluation - LREC 2006, May 2006, Gène/Italie, Italy
inria-00107572v1  Conference papers
Gilles SimonMarie-Odile Berger. Real time registration of known or recovered multi-planar structures: application to AR
13th British Machine Vision Conference 2002 - BMVC'2002, 2002, Cardiff, United Kingdom, France. pp.567-576
inria-00107574v1  Conference papers
Imine AbdessamadPascal MolliGérald OsterMichaël Rusinowitch. Development of Transformation Functions Assisted by a Theorem Prover
Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p
inria-00107652v1  Conference papers
Abdessamad IminePascal MolliGérald OsterMichaël Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware
8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p
inria-00110858v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. A model of grouping for plural and ordinal references
18th European Summer School in Logic, Language and Information - ESSLLI 2006, 2006, Malaga, Spain
inria-00108523v1  Conference papers
Gérald OsterPascal UrsoPascal MolliAbdessamad Imine. Data Consistency for P2P Collaborative Editing
ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Nov 2006, Banff, Alberta, Canada, pp.259 - 268
inria-00109039v1  Conference papers
Gérald OsterPascal MolliPascal UrsoAbdessamad Imine. Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩
inria-00112888v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu Quignard. Resolution of Referents Groupings in Practical Dialogues
7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, 2006, Sydney, Australia
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
inria-00105894v1  Conference papers
Najet BoughanmiSilvio RaniseChristophe Ringeissen. On Structural Information and the Experimental Evaluation of SMT Tools
International Workshop on First-Order Theorem Proving - FTP'2005, Sep 2005, Koblenz, Germany
inria-00135946v1  Conference papers
Samuel ThibaultSébastien Hinderer. BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
The First International Conference on Information and Communication Technology and Accessibility - ICTA 2007, Apr 2007, Hammamet, Tunisia. pp.27--31
inria-00149372v1  Conference papers
Claire GardentEric Kow. Spotting Overgeneration Suspects
11th European Workshop on Natural Language Generation - ENLG'07, Jun 2007, Schloss Dagstuhl, Germany. pp.41-48
inria-00149366v1  Conference papers
Claire GardentEric Kow. A Symbolic Approach to Near-Deterministic Surface Realisation using Tree Adjoining Grammar
45th Annual Meeting of the Association for Computational Linguistics - ACL 2007, Jun 2007, Prague, Czech Republic. pp.328-335
inria-00155288v1  Conference papers
Jean-Yves MarionRomain Péchoux. Resource control of object-oriented programs
The International Workshop on Logic and Computational Complexity - LCC 2007, Jul 2007, Wroclaw/Poland, Poland
inria-00160387v1  Conference papers
Claire GardentYannick Parmentier. SemTAG: a platform for specifying Tree Adjoining Grammars and performing TAG-based Semantic Construction
45th Annual Meeting of the Association for Computational Linguistics, Companion Volume Proceedings of the Demo and Poster Sessions, Jun 2007, Prague, Czech Republic. pp.13-16
inria-00160400v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
inria-00176235v1  Conference papers
Guillaume BonfanteMatthieu KaczmarekJean-Yves Marion. Control Flow Graphs as Malware Signatures
International Workshop on the Theory of Computer Viruses, Matthieu Kaczmarek; Guillaume Bonfante, May 2007, Nancy, France
inria-00176333v1  Conference papers
Judson Santos SantiagoLaurent Vigneron. Optimistic Non-repudiation Protocol Analysis
Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. pp.90-101, ⟨10.1007/978-3-540-72354-7_8⟩
inria-00179297v1  Conference papers
Patrick BlackburnSébastien Hinderer. From TY_n to DRT: an implementation
3rd International Language & Technology Conference - L&TC'07, Oct 2007, Poznam, Poland. pp.384-388
inria-00179485v1  Conference papers
Patrick BlackburnSébastien Hinderer. Generating models for temporal representations
Recent Advances in Natural Language Processing - RANLP 2007, Sep 2007, Borovets, Bulgaria. pp.69-75
inria-00179593v1  Conference papers
Paul Bedaride. Using Description Logics for Recognising Textual Entailment
19th European Summer School in Logic, Language and Information, Aug 2007, Dublin, Ireland. pp.11-21
inria-00179646v1  Conference papers
Luciana Benotti. Incomplete Knowledge and Tacit Action: Enlightened Update in a Dialogue Game
Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Rovereto, Italy. pp.17-24
inria-00179694v1  Conference papers
Alexandre DenisGuillaume PitelMatthieu QuignardPatrick Blackburn. Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model
11th Workshop on the Semantics and Pragmatics of Dialogue - DECALOG 2007, May 2007, Trento, Italy
inria-00180914v1  Conference papers
Dominique BarthJohanne CohenLoubna EchabbiChahinez Hamlaoui. Transit prices negotiation: Combined repeated game and distributed algorithmic approach
First EuroFGI International Conference on Network Control and Optimization - NET-COOP 2007, Jun 2007, Avignon, France. pp.266-275, ⟨10.1007/978-3-540-72709-5_28⟩
inria-00129391v3  Conference papers
Guillaume BonfanteYves Guiraud. Intensional properties of polygraphs
4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. ⟨10.1016/j.entcs.2008.03.034⟩
inria-00186777v1  Conference papers
Karën FortBruno Guillaume. PrepLex: a Lexicon of French Prepositions for Parsing
4th ACL-SIGSEM Workshop on Prepositions, Jun 2007, Prague, Czech Republic. pp.0
inria-00187300v1  Conference papers
Guillaume HoffmannCarlos Areces. HTab: A Terminating Tableaux System for Hybrid Logic
Methods for Modalities 5, Nov 2007, Cachan, France
inria-00192461v1  Conference papers
Pablo CesarDick C. A. BultermanZeljko ObrenovicJulien DucretSamuel Cruz-Lara. Non-Intrusive User Interfaces for Interactive Digital Television Experiences
5th European Interactive TV Conference - EURO ITV 2007, May 2007, Amsterdam, Netherlands
inria-00192465v1  Conference papers
Chia-Hung LinChia-Wei YenJen-Shin HongSamuel Cruz-Lara. Event-based textual document retrieval by using semantic role labeling and coreference resolution
IADIS International Conference WWW/Internet 2007, Oct 2007, Vila Real, Portugal
inria-00192467v1  Conference papers
Dick C.A. BultermanJack JansenPablo CesarSamuel Cruz-Lara. An Efficient, Streamable Text Format for Multimedia Captions and Subtitles
ACM Symposium on Document Engineering - DocEng 2007, Aug 2007, Winnipeg, Canada
inria-00202674v2  Conference papers
Emmanuel Hainry. Reachability in linear dynamical systems
Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩
inria-00288429v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang MaierJohannes Dellert. TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms
9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128