Skip to Main content Skip to Navigation

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-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-00332539v1  Conference papers
Daniel Reynaud. GPU Powered Malware
Ruxcon, Nov 2008, Sydney, Australia
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-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-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-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
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-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-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
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⟩
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⟩
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-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-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-00576600v1  Conference papers
Silvio GhilardiEnrica NicoliniSilvio RaniseDaniele Zucchelli. Towards SMT Model Checking of Array-Based Systems
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Aug 2008, Sydney, Australia. pp.67-82, ⟨10.1007/978-3-540-71070-7_6⟩
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-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-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-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-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
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
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⟩
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-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-00330338v1  Conference papers
yannick ChevalierMohammed Anis MekkiMichael 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-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-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-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
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-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-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
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-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
hal-00508922v1  Conference papers
yannick Parmentier. TuLiPA: un environnement d'analyse syntaxico-sémantique pour grammaires d'arbres
First Nancy Workshop on Natural Language Processing (NaTAL'08), Jun 2008, Nancy, France
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⟩
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-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-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
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-00330532v1  Conference papers
Siva AnatharamanHai LinChris LynchPaliath NarendranMichael Rusinowitch. Active Intruders with Caps
FCS-ARSPA-WITS'08, Jun 2008, Pittsburgh, United States
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-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⟩
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⟩
inria-00336239v1  Conference papers
Luciana Benotti. Accommodation through tacit dialogue acts
Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France
inria-00596057v1  Conference papers
Smaïl KhouiderThibaud MonteiroMarie-Claude Portmann. Cadre de modélisation pour évaluation par simulation des mécanismes de négociation dans les entreprises en réseau
Proceedings of the 7th conférence internationale de modélisation et simulation - MOSIM 08, Mar 2008, Paris, France. pp.667-676
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