Skip to Main content Skip to Navigation

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-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-00276326v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Feature Unification in TAG Derivation Trees
Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148
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-00304562v1  Conference papers
Yannick ParmentierWolfgang Maier. Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing
Proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Chalmers University of Technology and University of Gothenburg, Aug 2008, Gothenburg, Sweden. pp.360-365, ⟨10.1007/978-3-540-85287-2_34⟩
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._
inria-00308018v1  Conference papers
Olivier BournezPhilippe ChassaingJohanne CohenLucas GerinXavier Koegler. On the Convergence of a Population Protocol When Population Goes to Infinity
Physics and Computations, Worshop of Unconventional Computation - UC 2008, Aug 2008, Vienne, Austria
inria-00309041v1  Conference papers
Karine DeschinkelJohanne Cohen. Arrangement linéaire minimal des graphes d'intervalles
congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la décision, Feb 2008, Clermont Ferrand, France
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⟩
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
inria-00323195v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States
inria-00323199v1  Conference papers
Hubert Comon-LundhVéronique Cortier. Computational soundness of observational equivalence
4th Workshop on Formal and Computational Cryptography - FCC 2008, Jun 2008, Pittsburgh, United States
inria-00323834v1  Conference papers
Carlos ArecesDiego FigueiraSantiago FigueiraSergio Mera. Expressive Power and Decidability for Memory Logics
15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom
inria-00323841v1  Conference papers
Carlos ArecesAlexander KollerKristina Striegnitz. Referring Expressions as Formulas of Description Logic
Fifth International Natural Language Generation Conference - INLG 2008, Jun 2008, Salt Fork, United States
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⟩
hal-00326876v1  Conference papers
Alexandre DenisMatthieu 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-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
inria-00329803v1  Conference papers
Florent JacquemardMichaël 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-00329815v1  Conference papers
Eric MonfroyOlivier PerrinChristophe Ringeissen. Dynamic Web Services Provisioning with Constraints
International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. pp.26-43
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-00330338v1  Conference papers
Yannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Automatic Composition of Services with Security Policies
Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008), Jul 2008, Honolulu, United States. pp.529-537, ⟨10.1109/SERVICES-1.2008.13⟩
inria-00330344v1  Conference papers
Olivier BournezJérémie ChalopinJohanne Cohen. Playing With Population Protocols
International Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland
inria-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichaël Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
inria-00332320v1  Conference papers
Randa KassabJean-Charles Lamirel. A Multi-level Abstraction Model for Competitive Learning Neural Networks
Artificial Intelligence and Applications - AIA 2008, Feb 2008, Innsbruck, Austria, Austria. pp.97-103
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-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⟩
inria-00332539v1  Conference papers
Daniel Reynaud. GPU Powered Malware
Ruxcon, Nov 2008, Sydney, Australia
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-00332484v1  Conference papers
Najah ChridiMathieu TuruaniMichaël 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-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-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-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
hal-00336290v1  Conference papers
Karën FortBruno Guillaume. Sylva : plate-forme de validation multi-niveaux de lexiques
Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0
hal-00336294v1  Conference papers
Benoît SagotKarën 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
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-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-00337316v1  Conference papers
Jean-Charles Lamirel. Combination of hyperbolic visualization and graph-based approach for organizing data analysis results: an application to social network analysis
4th International Conference on Webometrics, Informetrics and Scientometrics and 9th Collnet Meeting, Jul 2008, Berlin, Germany
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
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-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
inria-00337523v1  Conference papers
Daniel ReynaudJean-Yves Marion. Obfuscation by Interpretation
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
inria-00338077v1  Conference papers
Philippe BeaucampsDaniel Reynaud. Malicious Firefox Extensions
Symposium sur la sécurité des techniques d'information et de communication, Jun 2008, Rennes, France
inria-00338859v1  Conference papers
Abdessamad Imine. Decentralized concurrency control for real-time collaborative editors
8th international conference on New technologies in distributed systems - NOTERE'2008, Jun 2008, Lyon, France. pp.313--321
inria-00338871v1  Conference papers
Abdessamad Imine. Flexible Concurrency Control for Real-Time Collaborative Editors
28th International Conference on Distributed Computing Systems Workshops - ICDCS'08, Jun 2008, Beijing, China. pp.423-428, ⟨10.1109/ICDCS.Workshops.2008.91⟩
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⟩
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