Skip to Main content Skip to Navigation

inria-00087876v1  Journal articles
Jorge San MartinJean-Francois ScheidTakéo TakahashiMarius Tucsnak. An Initial and Boundary Value Problem Modeling Fish-like Swimming
Archive for Rational Mechanics and Analysis, Springer Verlag, 2008, 188 (3), pp.429-455. ⟨10.1007/s00205-007-0092-2⟩
hal-00095617v1  Journal articles
Jean-Gabriel HouotAlexandre Munnier. On the motion and collisions of rigid bodies in an ideal fluid
Asymptotic Analysis, IOS Press, 2008, 56 (3-4), pp.125-158
hal-00097173v1  Journal articles
Andrei A. AgrachevUgo BoscainMario Sigalotti. A Gauss-Bonnet-like Formula on Two-Dimensional almost-Riemannian Manifolds
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2008, 20 (4), pp.801-822. ⟨10.3934/dcds.2008.20.801⟩
hal-00097159v1  Journal articles
Thomas ChambrionMario Sigalotti. Tracking control for an ellipsoidal submarine driven by Kirchhoff's laws
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2008, 53 (1), pp.339-349. ⟨10.1109/TAC.2007.914958⟩
inria-00099805v1  Book sections
Claire GardentKristina Striegnitz. Generating Bridging Definite Descriptions
Harry Bunt and Reinhard Muskens. Computing Meaning, 3, Kluwer Academic Publishers, pp.369--396, 2008, Studies in Linguistics and Philosophy - 83, 978-1-4020-5956-8
hal-00015299v2  Journal articles
Steven CoxAntoine Henrot. Eliciting Harmonics on Strings
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2008, 14 (4), pp.657-677. ⟨10.1051/cocv:2008004⟩
hal-00141049v1  Book sections
Xavier Antoine. Advances in the On-Surface Radiation Condition Method: Theory, Numerics and Applications
F. Magoulès. Computational Methods for Acoustics Problems, Saxe-Coburg Publications, pp.169-194, 2008
hal-00128444v2  Journal articles
Antoine HenrotYannick Privat. Shape Minimization of Dendritic Attenuation
Applied Mathematics and Optimization, Springer Verlag (Germany), 2008, 57 (1), pp.1-17. ⟨10.1007/s00245-007-9002-0⟩
hal-00142870v2  Journal articles
Guillaume LegendreTakéo Takahashi. Convergence of a Lagrange--Galerkin method for a fluid-rigid body system in ALE formulation
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2008, 42 (4), pp.609-644. ⟨10.1051/m2an:2008020⟩
hal-00267931v1  Journal articles
Antoine HenrotGérard PhilippinAbdesselam Safoui. Some isoperimetric inequalities with application to the Stekloff problem
Journal of Convex Analysis, Heldermann, 2008, 15 (3), pp.581-592
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⟩
inria-00275221v1  Conference papers
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. A Mediator Based Approach For Services Composition
International Conference on Software Engineering Research, Management and Applications (SERA'08), Aug 2008, Prague, Czech Republic
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-00243131v1  Reports
Isabelle Gnaedig. Termination of Priority Rewriting
[Research Report] 2008, pp.13
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-00308002v1  Conference papers
Dominique BarthOlivier BournezOctave BoussatonJohanne Cohen. Distributed Learning of Wardrop Equilibria
7th International Conference on Unconventional Computation - UC 2008), Aug 2008, Vienne, Austria. pp.19--32
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-00323839v1  Books
Carlos ArecesRob Goldblatt. Advances in Modal Logic, Volume 7
College Publications, VIII-406 p., 2008, 978-1-904987-68-0
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-00329715v1  Journal articles
Yannick ChevalierMichaël Rusinowitch. Hierarchical combination of intruder theories
Information and Computation, Elsevier, 2008, 206 (2-4), pp.352-377. ⟨10.1016/j.ic.2007.07.004⟩
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
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
inria-00329909v1  Conference papers
Pierre-Cyrille HeamOlga KouchnarenkoJérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects
Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩
inria-00329965v1  Conference papers
Frédéric DadeauAdrien de KermadecRégis Tissot. Combining Scenario- and Model-Based Testing to ensure POSIX Compliance
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.153-166, ⟨10.1007/978-3-540-87603-8⟩
inria-00329966v1  Conference papers
Frédéric DadeauJulien LamboleyThierry MoutetMarie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B security Models
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.237-250, ⟨10.1007/978-3-540-87603-8⟩
inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
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
hal-00332063v1  Book sections
Lyes BenyoucefVipul JainPatrick Charpentier. Centralized approaches for supply chain simulation: Issues and applications
Caroline Thierry, André Thomas, Gérard Bel. Simulation for Supply Chain Management, ISTE and John Wiley & Sons, pp.129-154, 2008, Control Systems, robotics and manufacturing series
hal-00332069v1  Book sections
Lyes BenyoucefVipul JainPatrick Charpentier. Approches centralisées de simulation des chaines logistiques. Principes et applications.
Caroline Thierry, André Thomas, Gérard Bel. La simulation pour la gestion des chaînes logistiques, Lavoisier, pp.131-153, 2008, Traité IC2, série systèmes automatisés
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
tel-01748443v3  Theses
Yannick Privat. Quelques problèmes d'optimisation de formes en sciences du vivant
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10045⟩
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-00335919v1  Journal articles
Johanne CohenAnurag DasguptaSukumar GhoshSébastien Tixeuil. An Exercise in Selfish Stabilization
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩
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
hal-00336409v1  Book sections
Fabienne Venant. Calcul dynamique du sens d'un adjectif : de l'ante à la postposition, un méchant changement de sens
Autour des langues et du langage : perspective pluridisciplinaire, Presse Universitaire de Grenoble, pp.xx-xx, 2008
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-00337343v1  Book sections
Hélène Bonneau-MaynardAlexandre DenisFrédéric BechetLaurence DevillersFabrice Lefèvre et al.  Media : évaluation de la compréhension dans les systèmes de dialogue
Stéphane Chaudiron; Khalid Choukri. L'évaluation des technologies de traitement de la langue, les campagnes Technolangue, Hermès, Lavoisier, pp.209-232, 2008, Cognition et traitement de l'information, 978-2746219922
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
tel-00338608v1  Theses
Marilisa Amoia. Reconnaissance d'implications textuelles à forte composante linguistique
Informatique [cs]. Universität des Saarlandes Saarbrücken, 2008. Français
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⟩
tel-00340299v1  Habilitation à diriger des recherches
Stéphanie Salmon. Contribution aux méthodes numériques pour la simulation d'écoulements de fluides, d'électromagnétisme et de physique des plasmas
Mathématiques [math]. Université Louis Pasteur - Strasbourg I, 2008
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-00342331v1  Journal articles
Jérôme BesombesJean-Yves Marion. Learning discrete categorial grammars from structures
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩
hal-00342320v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. Soft Linear Logic and Polynomial Complexity Classes
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 205 (6), pp.67-87. ⟨10.1016/j.entcs.2008.03.066⟩
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