Skip to Main content Skip to Navigation


...
inria-00332390v1  Conference papers
Jean-yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
...
hal-00342323v1  Conference papers
Marco GaboardiJean-yves MarionSimona Ronchi Della Rocca. A Logical Account of PSPACE
Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131
...
hal-00337371v1  Conference papers
Marilisa AmoiaClaire Gardent. A test suite for inference involving adjectives
sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27
...
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
...
inria-00326077v1  Conference papers
Humberto AbdelnurTigran AvanesovMichaël RusinowitchRadu State. Abusing SIP Authentication
Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩
...
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
...
inria-00336233v1  Conference papers
Luciana Benotti. Accommodation through Tacit Sensing
Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82
...
inria-00332550v1  Conference papers
Jean-yves MarionRomain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs
Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
...
inria-00376450v1  Conference papers
Francis KlayLaurent Vigneron. Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder
5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩
...
inria-00270922v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Calculs d'unification sur les arbres de dérivation TAG
TALN'08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320--329
...
inria-00332389v1  Conference papers
Jean-yves MarionRomain Péchoux. Characterizations of Polynomial Complexity Classes with a Better Intensionality
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
...
inria-00329803v1  Conference papers
Florent JacquemardMichael Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
...
inria-00250111v3  Conference papers
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems
Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩
...
hal-00336294v1  Conference papers
Benoît SagotKaren FortFabienne Venant. Extension et couplage de ressources syntaxiques et sémantiques sur les adverbes
27e Colloque international sur le lexique et la grammaire 2008, Sep 2008, L'Aquila, Italie. pp.0
...
hal-00563422v1  Conference papers
yohan BoichutRoméo CourbisPierre-Cyrille HéamOlga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations
RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. pp.48--62, ⟨10.1007/978-3-540-70590-1⟩
...
hal-00563293v1  Conference papers
yohan BoichutRoméo CourbisPierre-Cyrille HéamOlga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata
2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩
...
lirmm-00287659v1  Conference papers
Serge BurckelEmeric Gioan. In Situ Design of Register Operations
ISVLSI: IEEE Symposium on Very-Large-Scale Integration, LIRMM, Apr 2008, Montpellier, France. pp.451-454, ⟨10.1109/ISVLSI.2008.62⟩
...
hal-00337374v1  Conference papers
Claire Gardent. Integrating a unification-based semantics in a large scale Lexicalised Tree Adjoining Grammar for French
The 22nd International Conference on Computational Linguistics, Aug 2008, Manchester, United Kingdom. pp.249-257
...
inria-00336907v1  Conference papers
Jérémie DequidtMaud MarchalChristian DuriezErwan KerrienStéphane Cotin. Interactive Simulation of Embolization Coils: Modeling and Experimental Validation
Medical Imaging Computing and Computer Assisted Intervention -MICCAI'08, Sep 2008, New York City, United States. pp.695-702, ⟨10.1007/978-3-540-85988-8_83⟩
...
inria-00553519v1  Conference papers
Éric Villemonte de La ClergerieChristelle AyacheGaël de ChalendarGil FrancopouloClaire Gardent et al.  Large scale production of syntactic annotations for French
First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China
...
hal-00326876v1  Conference papers
Alexandre A. J. DenisMatthieu J. R. Quignard. Modélisation du principe d'ancrage pour la robustesse des systèmes de dialogue homme-machine finalisés
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2008, Jun 2008, Avignon, France. pp.89-98
...
inria-00330021v1  Conference papers
Guillaume BonfanteMatthieu KaczmarekJean-yves Marion. Morphological Detection of Malware
International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States
...
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⟩
...
hal-00342366v1  Conference papers
Guillaume BonfanteReinhard KahleJean-yves MarionIsabel Oitavem. Recursion Schemata for NCk
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
...
inria-00336218v1  Conference papers
Paul BedarideClaire Gardent. Réécriture et détection d'implication textuelle
Traitement Automatique des Langues Naturelles - TALN 2008, Jul 2008, Avignon, France. pp.19-28
...
inria-00321550v1  Conference papers
Erwan KerrienMarie-Odile BergerJérémie Dequidt. Refining the 3D surface of blood vessels from a reduced set of 2D DSA images
AMI-ARCS 2008, PJ "Eddie" Edwards and Kensaku Mori and Tobias Sielhorst, Sep 2008, New York, NY, United States. pp.61-69
...
hal-00336290v1  Conference papers
Karen FortBruno Guillaume. Sylva : plate-forme de validation multi-niveaux de lexiques
Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0
...
hal-00563286v1  Conference papers
Frédéric DadeauRégis Tissot. Teaching Model-Based Testing with {L}eirios {T}est {G}enerator
FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
...
inria-00332484v1  Conference papers
Najah ChridiMathieu TuruaniMichael Rusinowitch. Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206
...
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
...
inria-00304605v1  Conference papers
Laura KallmeyerTimm LichteWolfgang Maieryannick ParmentierJohannes Dellert et al.  TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._