Publications de l'équipe DAHU

2012

Ouvrages scientifiques

Titre

Web Data Management

Auteurs

Serge Abiteboul; Ioana Manolescu; Philippe Rigaux; Marie-Christine Rousset; Pierre Senellart

Détail

Cambridge University Press, pp. 456, 2012

Accès au bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems

Auteurs

Adel Bouhoula; Florent Jacquemard

Détail

Journal of Applied Logic, Elsevier, 2011

Accès au texte intégral et bibtex

Titre

Rigid Tree Automata and Applications

Auteurs

Florent Jacquemard; Francis Klay; Camille Vacher

Détail

Information and Computation, Elsevier, 2011, 209 (3), pp. 486-512

Accès au texte intégral et bibtex

Communications avec actes

Titre

Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique

Auteurs

José Echeveste; Arshia Cont; Jean-Louis Giavitto; Florent Jacquemard

Détail

Hermès. 8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. Modélisation des Systèmes Réactifs : MSR 2011, 45, pp. 109-124, n° spécial du Journal Européen des Systèmes Automatisés (JESA)

Accès au texte intégral et bibtex

Titre

Controlled Term Rewriting

Auteurs

Florent Jacquemard; Yoshiharu Kojima; Masahiko Sakai

Détail

C. Tinelli and V. Sofronie-Stokkermans. 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. Springer, Proceedings of the 8th International Symposium Frontiers of Combining Systems (FroCoS), 6989, pp. 179-194, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents

Auteurs

François Goasdoué; Konstantinos Karanasos; Yannis Katsis; Julien Leblay; Ioana Manolescu; Stamatis Zampetakis

Détail

Marco Brambilla and Fabio Casati and Stefano Ceri. First International Workshop on Searching and Integrating New Web Data Sources, Sep 2011, Seattle, United States.

Accès au texte intégral et bibtex

Titre

A rule-based language for Web data management

Auteurs

Serge Abiteboul; Meghyn Bienvenu; Alban Galland; Emilien Antoine

Détail

Principles of Database Systems, Jun 2011, Athens, Greece.

Accès au texte intégral et bibtex

Titre

Web information management with access control

Auteurs

Alban Galland; Serge Abiteboul; Neoklis Polyzotis

Détail

14th International Workshop on the Web and Databases (WebDB), Jun 2011, Athens, Greece.

Accès au texte intégral et bibtex

Titre

Demo Social Networking on top of the WebdamExchange System

Auteurs

Emilien Antoine; Alban Galland; Kristian Lyngbaek; Amélie Marian; Neoklis Polyzotis

Détail

International Conference on Data Engineering, Apr 2011, Hannover, Germany.

Accès au texte intégral et bibtex

Titre

Comparing Workflow Specification Languages: A Matter of Views

Auteurs

Serge Abiteboul; Pierre Bourhis; Victor Vianu

Détail

International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden.

Accès au bibtex

Titre

On the Equivalence of Distributed Systems with Queries and Communication

Auteurs

Serge Abiteboul; Balder Ten Cate; Yannis Katsis

Détail

International Conference on Database Theory, Mar 2011, Uppsala, Sweden.

Accès au texte intégral et bibtex

Titre

Distributed Datalog Revisited

Auteurs

Serge Abiteboul; Meghyn Bienvenu; Alban Galland; Marie-Christine Rousset

Détail

Datalog 2.0 Workshop, Mar 2010, Oxford, United Kingdom. 2011

Accès au texte intégral et bibtex

Titre

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Auteurs

Florent Jacquemard; Etienne Lozes; Ralf Treinen; Jules Villard

Détail

M{ö}dersheim, Sebastian and Palamidessi, Catuscia. Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. Springer, Theory of Security and Applications Joint Workshop, TOSCA 2011, 6993, pp. 166-185, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Communications sans actes

Titre

Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents

Auteurs

François Goasdoué; Konstantinos Karanasos; Yannis Katsis; Julien Leblay; Ioana Manolescu; Stamatis Zampetakis

Détail

Journées de Bases de Données Avancées, Oct 2011, Rabat, Morocco.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Modeling, Querying, and Mining Uncertain XML Data

Auteurs

Evgeny Kharlamov; Pierre Senellart

Détail

Andrea Tagarelli. XML Data Mining: Models, Methods, and Applications, IGI Global, 2011

Accès au bibtex

HDR

Titre

Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis

Auteurs

Florent Jacquemard

Détail

École normale supérieure de Cachan - ENS Cachan, Nov. 2011. English

Accès au texte intégral et bibtex

Rapports

Titre

Ontology Alignment at the Instance and Schema Level

Auteurs

Fabian Suchanek; Serge Abiteboul; Pierre Senellart

Détail

[Technical Report], 2011, pp. 26. RT-0408

Accès au texte intégral et bibtex

2010

Communications avec actes

Titre

Demo AXART - Enabling Collaborative Work with AXML Artifacts

Auteurs

Serge Abiteboul; Pierre Bourhis; Bogdan Marinoiu; Alban Galland

Détail

Very Large Database, Sep 2010, Singapour, Singapore.

Accès au texte intégral et bibtex

Titre

Aggregate Queries for Discrete and Continuous Probabilistic XML

Auteurs

Serge Abiteboul; T-H. Hubert Chan; Evgeny Kharlamov; Werner Nutt; Pierre Senellart

Détail

International Conference on Database Theory (ICDT), 2010, Lausanne, Switzerland. pp. 50-61

Accès au texte intégral et bibtex

Titre

XML Access Control: from XACML to Annotated Schemas

Auteurs

Ryma Abassi; Florent Jacquemard; Michael Rusinowitch; Sihem Guemara El Fatmi

Détail

Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. IEEE Computer Society Press, pp. 1-8

Accès au bibtex

Titre

The Emptiness Problem for Tree Automata with Global Constraints

Auteurs

Luis Barguñó; Carlos Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher

Détail

Jouannaud, Jean-Pierre. 25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. IEEE Computer Society Press, pp. 263-272

Accès au texte intégral et bibtex

Titre

Rewrite-Based Verification of XML Updates

Auteurs

Florent Jacquemard; Michael Rusinowitch

Détail

Kutsia, Temur and Schreiner, Wolfgang and Fernández, Maribel. 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ACM

Accès au texte intégral et bibtex

Ouvrages scientifiques

Titre

Web Data Management and Distribution

Auteurs

Serge Abiteboul; Ioana Manolescu; Philippe Rigaux; Marie-Christine Rousset; Pierre Senellart

Détail

Cambridge University Press, pp. 381, Dec. 2010

Accès au bibtex

2009

Articles dans des revues avec comité de lecture

Titre

On the Expressiveness of Probabilistic XML Models

Auteurs

Serge Abiteboul; Benny Kimelfeld; Y. Sagiv; Pierre Senellart

Détail

The VLDB Journal / The VLDB Journal The International Journal on Very Large Data Bases, Springer-Verlag, 2009, pp. hkj

Accès au texte intégral et bibtex

Titre

Modeling and Verifying Active XML Artifacts

Auteurs

Serge Abiteboul; Luc Segoufin; Victor Vianu

Détail

IEEE Data Eng. Bull., IEEE, 2009

Accès au texte intégral et bibtex

Communications avec actes

Titre

Distributed XML Design

Auteurs

Serge Abiteboul; Georg Gottlob; Marco Manna

Détail

Symposium on Principles of Database Systems (PODS), Jun 2009, Providence, United States.

Accès au texte intégral et bibtex

Titre

Which Semantics for Neighbourhood Semantics?

Auteurs

Carlos Areces; Diego Figueira

Détail

Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp. 671-676

Accès au bibtex

Titre

Tableaux and Model Checking for Memory Logics

Auteurs

Carlos Areces; Diego Figueira; Daniel Gorin; Sergio Mera

Détail

Giese, Martin and Waaler, Arild. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2009, Jul 2009, Oslo, Norway. Springer-Verlag, Automated Reasoning with Analytic Tableaux and Related Methods, 5607, pp. 47-61, Lecture Notes in Artificial Intelligence

Accès au bibtex

Titre

Automatic Verification of Conformance of Firewall Configurations to Security Policies

Auteurs

Nihel Ben Youssef; Adel Bouhoula; Florent Jacquemard

Détail

IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. IEEE Computer Society Press, pp. 526-531

Accès au texte intégral et bibtex

Titre

Unique Normalization for Shallow TRS

Auteurs

Guillem Godoy; Florent Jacquemard

Détail

Treinen, Ralf. 20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. Springer, 5595, pp. 63-77, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Rigid Tree Automata

Auteurs

Florent Jacquemard; Francis Klay; Camille Vacher

Détail

Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martín-Vide. Third International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. Springer, 5457, pp. 446-457, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Conférences invitées

Titre

The AXML Artifact Model

Auteurs

Serge Abiteboul; Pierre Bourhis; Alban Galland; Bogdan Marinoiu

Détail

16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy.

Accès au texte intégral et bibtex

Rapports

Titre

Rewrite based Verification of XML Updates

Auteurs

Florent Jacquemard; Michael Rusinowitch

Détail

[Research Report], 2009, pp. 39. RR-7007

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Visibly Tree Automata with Memory and Constraints

Auteurs

Hubert Comon-Lundh; Florent Jacquemard; Nicolas Perrin

Détail

Logical Methods in Computer Science (LMCS), Thompson ISI and SCOPUS and Mathematical Reviews and Zentralblatt, 2008, 4 (2)

Accès au texte intégral et bibtex

Communications avec actes

Titre

Closure of Tree Automata Languages under Innermost Rewriting

Auteurs

Adria Gascon; Guillem Godoy; Florent Jacquemard

Détail

Middeldorp, Aart. 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. Elsevier, Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008), 237, pp. 23-38, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Automated Induction with Constrained Tree Automata

Auteurs

Adel Bouhoula; Florent Jacquemard

Détail

Alessandro Armando and Peter Baumgartner and Gilles Dowek. 4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. Springer, 5195, pp. 539-554, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

2007

Communications avec actes

Titre

Tree Automata with Memory, Visibility and Structural Constraints

Auteurs

Hubert Comon-Lundh; Florent Jacquemard; Nicolas Perrin

Détail

Helmut Seidl. 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Mar 2007, Braga, Portugal. Springer, 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), 4423, pp. 168-182, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction

Auteurs

Adel Bouhoula; Florent Jacquemard

Détail

Degano, Pierpaolo and K{ü}sters, Ralf and Vigan{\ó}, Luca and Zdancewic, Steve. Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), Jul 2007, , Poland. Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA), pp. 27-44

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks

Auteurs

Stéphanie Delaune; Florent Jacquemard

Détail

Journal of Automated Reasoning, Springer, 2006, 36 (1-2), pp. 85-124

Accès au texte intégral et bibtex

Communications avec actes

Titre

The Confluence Problem for Flat TRSs

Auteurs

Ichiro Mitsuhashi; Michio Oyamaguch; Florent Jacquemard

Détail

Jacques Calmet and Tetsuo Ida and Dongming Wang. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. Springer, 4120, pp. 68-81, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Tree automata with equality constraints modulo equational theories

Auteurs

Florent Jacquemard; Michael Rusinowitch; Laurent Vigneron

Détail

Ulrich Furbach and Natarajan Shankar. 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. Springer, 3d International Joint Conference on Automated Reasoning (IJCAR), 4130, pp. 557-571, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Automating Sufficient Completeness Check for Conditional and Constrained TRS

Auteurs

Adel Bouhoula; Florent Jacquemard

Détail

Levy, Jordi. 20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States. Proceedings of the 20th International Workshop on Unification (UNIF)

Accès au texte intégral et bibtex

Titre

Security Protocol Verification with Implicit Induction and Explicit Destructors

Auteurs

Adel Bouhoula; Florent Jacquemard

Détail

Fernández, Maribel and Kirchner, Claude. 1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. Proceedings of the 1st International Workshop on Security and Rewriting Techniques (SecReT), pp. 37-44

Accès au texte intégral et bibtex

2005

Communications avec actes

Titre

Constructing and querying peer-to-peer warehouses of XML resources

Auteurs

Serge Abiteboul; Ioana Manolescu; Nicoleta Preda

Détail

IEEE. ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. IEEE, pp. 1122-1123

Accès au bibtex

Titre

Diagnosis of asynchronous discrete event systems: datalog to the rescue!

Auteurs

Serge Abiteboul; Zoe Abrams; Stefan Haar; Tova Milo

Détail

Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp. 358-367

Accès au bibtex

2004

Communications avec actes

Titre

A Decision Procedure for the Verification of Security Protocols with Explicit Destructors

Auteurs

Stéphanie Delaune; Florent Jacquemard

Détail

Atluri, Vijayalakshmi and Pfitzmann, Birgit and McDaniel, Patrick. 11th ACM Conference on Computer and Communications Security (CCS), Oct 2004, Washington D.C., United States. ACM Press, Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS), pp. 278-287

Accès au texte intégral et bibtex

Titre

A Theory of Dictionary Attacks and its Complexity

Auteurs

Stéphanie Delaune; Florent Jacquemard

Détail

17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. IEEE Computer Society Press, Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW), pp. 2-15

Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre

Ground Reducibility is EXPTIME-complete

Auteurs

Hubert Comon-Lundh; Florent Jacquemard

Détail

Information and Computation, Elsevier, 2003, 187 (1), pp. 123-153

Accès au texte intégral et bibtex

Titre

Reachability and confluence are undecidable for flat term rewriting systems

Auteurs

Florent Jacquemard

Détail

Information Processing Letters, Elsevier, 2003, 87 (5), pp. 265-270

Accès au texte intégral et bibtex