Skip to Main content Skip to Navigation

hal-01893012v1  Conference papers
Isabelle Gnaedig. Termination of Order-sorted Rewriting
ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
hal-01112891v1  Conference papers
Kamel SmaïliFrançois CharpilletJean-Paul Haton. A new algorithm for Automatic Word Classification based on an Improved Simulated Annealing Technique
The 5th International Conference on the Cognitive Science of Natural Language Processing, 1996, Dublin, Ireland
hal-01098490v1  Conference papers
François CharpilletAnne Boyer. Composing and Monitoring Non Deterministic Design-to-time Methods
AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States
hal-01112900v1  Conference papers
Dominique FohrJ.-P HatonJean-François MariKamel SmaïliImed Zitouni. Towards an oral interface for data entry: The MAUD System
European Research Consortium for Informatics and Mathematics User Interfaces for AII, 1997, Nancy, France
hal-03116903v1  Conference papers
Jean-Francois ScheidGiulio Schimperna. Regularity and uniqueness results for a phase change problem in binary alloys
4th European Conference Elliptic and Parabolic Problems, Sep 2001, Gaeta, Italy. pp.475-484, ⟨10.1142/9789812777201_0045⟩
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-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
hal-01079278v1  Conference papers
Maxime AmblardAlain LecomteChristian Retoré. Syntax and Semantics interacting in a Minimalist theory
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
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
hal-01564249v1  Conference papers
Salma JamoussiKamel SmaïliJean-Paul Haton. From speech to SQL queries : a speech understanding system
The twentieth national Conference on Artificial Intelligence workshop on spoken language understanding, 2005, Pittsburg, United States
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⟩
hal-01079268v1  Conference papers
Maxime Amblard. Counting dependencies and Minimalist Grammars
Logical Aspects of Computational Linguistics, student session, Apr 2005, Bordeaux, France
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
hal-00140479v1  Conference papers
Karim RamdaniTakéo TakahashiMarius Tucsnak. A uniformly stable finite difference space semi-discretization for the internal stabilization of the plate equation in a square
ENUMATH 2005 - The 6th European Conference on Numerical Mathematics and Advanced Applications, Jul 2005, Santiago de Compostela, Spain. pp.1068--1076, ⟨10.1007/978-3-540-34288-5_107⟩
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-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-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
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
hal-00563280v1  Conference papers
Fabrice BouquetFrédéric DadeauJulien GroslambertJacques Julliand. Safety Property Driven Test Generation from {JML} Specifications
FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, 2006, Seattle, United States. pp.225--239, ⟨10.1007/11940197⟩
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-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-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
hal-01079262v1  Conference papers
Maxime Amblard. Treating the Semantics of French Clitics with Minimalist Grammars
The Logic of Variation, Jan 2006, Utrecht, Netherlands
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-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-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-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
hal-00869660v1  Conference papers
Maxime Amblard. Treating clitics with minimalist grammars
The 11th conference on Formal Grammar, Jul 2006, Malaga, Spain. pp.9--20
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-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-00579011v1  Conference papers
Florent JacquemardMichaël RusinowitchLaurent Vigneron. Tree automata with equality constraints modulo equational theories
3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩
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-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-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-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⟩
hal-00563282v1  Conference papers
Fabrice BouquetJean-François CouchotFrédéric DadeauAlain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing
7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. pp.96--110, ⟨10.1007/11955757⟩
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-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
hal-00141929v1  Conference papers
Séverine BailletJean BracAntoine Henrot. Shape Optimization of a Submerged Pump for Oil
WCSMO-7 - 7th World Congress on Structural and Multidisciplinary Optimization, May 2007, Séoul, South Korea
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-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-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-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