Sites Inria

English version

Equipe de recherche DAHU

Publications de l'équipe DAHU

2018

Pré-publication, Document de travail

titre
First-order queries on classes of structures with bounded expansion
auteur
Wojciech Kazana, Luc Segoufin
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01706665/file/main.pdf BibTex

2017

Article dans une revue

titre
Asymptotic Determinacy of Path Queries using Union-of-Paths Views
auteur
Nadime Francis
article
Theory of Computing Systems, Springer Verlag, 2017, 61 (1), pp.156-190. 〈10.1007/s00224-016-9697-x〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01803445/file/tocs-asy.pdf BibTex
titre
A survey on guarded negation
auteur
Luc Segoufin
article
ACM SIGLOG News, ACM, 2017, SISLOG News, 4 (3), pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01589314/file/guarded-survey.pdf BibTex
titre
Bottom-up automata on data trees and vertical XPath
auteur
Diego Figueira, Luc Segoufin
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (4), 〈10.23638/LMCS-13(4:5)2017〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01631219/file/1710.08748.pdf BibTex

Communication dans un congrès

titre
The Complexity of Diagnosability and Opacity Verification for Petri Nets
auteur
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
article
Wil van der Aalst; Eike Best. Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. Springer, 10258, pp.200--220, Lecture Notes in Computer Science. 〈10.1007/978-3-319-57861-3_13〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01484476/file/bhss-fi.pdf BibTex
titre
Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion
auteur
Luc Segoufin, Alexandre Vigny
article
ICDT, Mar 2017, Venise, Italy. ICDT, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01589303/file/localbounded.pdf BibTex

2016

Article dans une revue

titre
Nondeterminism and An Abstract Formulation of Nečiporuk’s Lower Bound Method
auteur
Paul Beame, Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
ACM Transactions on Computation Theory, ACM, 2016, 9 (1), pp.1 - 34. 〈10.1145/3013516〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426213/file/main.pdf BibTex
titre
Implicational Relevance Logic is 2-ExpTime-Complete
auteur
Sylvain Schmitz
article
The Journal of Symbolic Logic, Association for Symbolic Logic, 2016, 81 (2), pp.641--661. 〈10.1017/jsl.2015.7〉
Accès au bibtex
https://arxiv.org/pdf/1402.0705 BibTex
titre
Analyse des données et choix de société
auteur
Serge Abiteboul
article
parole publique, Communication publique, 2016, Communiquer à l’ère du Big Data. Promesses et périls de l'action publique algorithmique
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01273439/file/DonneesGovernement.pdf BibTex
titre
Complexity Hierarchies Beyond Elementary
auteur
Sylvain Schmitz
article
ACM Transactions on Computation Theory, ACM, 2016, 8 (1), 〈10.1145/2858784〉
Accès au bibtex
https://arxiv.org/pdf/1312.5686 BibTex
titre
Automata Column: The Complexity of Reachability in Vector Addition Systems
auteur
Sylvain Schmitz
article
ACM SIGLOG News, ACM, 2016, 3 (1), pp.3--21. 〈10.1145/2893582.2893585〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01275972/file/main.pdf BibTex
titre
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
auteur
Florent Jacquemard, Luc Segoufin, Jérémie Dimino
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00769249/file/tdafo.pdf BibTex

Communication dans un congrès

titre
Thymeflow, A Personal Knowledge Base with Spatio-Temporal Data
auteur
David Montoya, Thomas Pellissier Tanon, Serge Abiteboul, Fabian Suchanek
article
25th ACM International Conference on Information and Knowledge Management, Oct 2016, Indianapolis, IN, United States. 25th ACM International Conference on Information and Knowledge Management (CIKM 2016), 〈10.1145/2983323.2983337〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355150/file/2016-10-thymeflow-cikm.pdf BibTex
titre
A Sequent Calculus for a Modal Logic on Finite Data Trees
auteur
David Baelde, Simon Lunel, Sylvain Schmitz
article
Jean-Marc Talbot; Laurent Regnier. CSL 2016, Sep 2016, Marseille, France. LZI, 62 (32), pp.1--16, Leibniz International Proceedings in Informatics. 〈10.4230/LIPIcs.CSL.2016.32〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01191172/file/main.pdf BibTex
titre
Deciding Piecewise Testable Separability for Regular Tree Languages
auteur
Jean Goubault-Larrecq, Sylvain Schmitz
article
Ioannis Chatzigiannakis; Michael Mitzenmacher; Yuval Rabani; Davide Sangiorgi. ICALP 2016, Jul 2016, Rome, Italy. 55, pp.97:1--97:15, 2016, Leibniz International Proceedings in Informatics. 〈10.4230/LIPIcs.ICALP.2016.97〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276119/file/lipics.pdf BibTex
titre
Verification of Hierarchical Artifact Systems
auteur
Alin Deutsch, Yuliang Li, Victor Vianu
article
ACM. 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), Jun 2016, San Francisco, United States. Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), pp.179 - 194, 2016, Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016). 〈10.1145/2902251.2902275〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01389845/file/main.pdf BibTex
titre
Transforming Wikipedia into an Ontology-based Information Retrieval Search Engine for Local Experts using a Third-Party Taxonomy
auteur
Gregory Grefenstette, Karima Rafes
article
Joint Second Workshop on Language and Ontology & Terminology and Knowledge Structures (LangOnto2 + TermiKS) LO2TKS, May 2016, Portoroz, Slovenia. 2016, 〈http://langandonto.github.io/LangOnto2-TermiKS/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224114/file/Transforming%20Wikipedia%20into%20an%20Ontology_final.compressed.pdf BibTex
titre
A formal study of collaborative access control in distributed datalog
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
Wim Martens ; Thomas Zeume. ICDT 2016 - 19th International Conference on Database Theory , Mar 2016, Bordeaux, France. 〈http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290497/file/icdt16.pdf BibTex
titre
Coverability Trees for Petri Nets with Unordered Data
auteur
Piotr Hofman, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Sylvain Schmitz, Patrick Totzke
article
FoSSaCS, 2016, Eindhoven, Netherlands. Springer, 9634, pp.445--461, Lecture Notes in Computer Science. 〈10.1007/978-3-662-49630-5_26〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252674/file/main.pdf BibTex
titre
Data, Responsibly (Dagstuhl Seminar 16291)
auteur
Serge Abiteboul, Gerome Miklau, Julia Stoyanovich, Gerhard Weikum
article
Dagstuhl seminar, 2016, Dagstuhl, Germany. 2016, 〈 http://dx.doi.org/10.4230/DagRep.6.7.42〉
Accès au bibtex
BibTex
titre
The Complexity of Coverability in ν-Petri Nets
auteur
Ranko Lazić, Sylvain Schmitz
article
LICS 2016, 2016, New York, United States. ACM Press, pp.467--476, 〈10.1145/2933575.2933593〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf BibTex
titre
Ideal Decompositions for Vector Addition Systems
auteur
Jérôme Leroux, Sylvain Schmitz
article
Nicolas Ollinger and Heribert Vollmer. STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science, 2016, Orléans, France. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 47, pp.1--13, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://drops.dagstuhl.de/opus/volltexte/2016/5702〉. 〈10.4230/LIPIcs.STACS.2016.1〉
Accès au bibtex
BibTex

Document associé à des manifestations scientifiques

titre
Data, Responsibly: Fairness, Neutrality and Transparency in Data Analysis
auteur
Julia Stoyanovich, Serge Abiteboul, Gerome Miklau
article
International Conference on Extending Database Technology, Mar 2016, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290695/file/16.DataResponsibly.pdf BibTex

Rapport

titre
Thymeflow, An Open-Source Personal Knowledge Base System
auteur
David Montoya, Thomas Pellissier Tanon, Serge Abiteboul, Pierre Senellart, Fabian Suchanek
article
[Technical Report] Thymeflow. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01439311/file/montoya2016thymeflow.pdf BibTex

2015

Article dans une revue

titre
Datalog Rewritings of Regular Path Queries using Views
auteur
Nadime Francis, Luc Segoufin, Cristina Sirangelo
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (4)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248391/file/views-rpq-datalog.pdf BibTex
titre
Calculer sur des données massives
auteur
Serge Abiteboul
article
Interstices, INRIA, 2015, 〈https://interstices.info/jcms/p_83082/calculer-sur-des-donnees-massives〉
Accès au bibtex
BibTex
titre
Non-Elementary Complexities for Branching VASS, MELL, and Extensions
auteur
Ranko Lazić, Sylvain Schmitz
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2015, 16 (3:20), pp.1--30. 〈10.1145/2733375〉
Accès au bibtex
https://arxiv.org/pdf/1401.6785 BibTex
titre
Managing your digital life with a Personal information management system
auteur
Serge Abiteboul, Benjamin André, Daniel Kaplan
article
Communications of the ACM, ACM, 2015, 58 (5), pp.32-35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01068006/file/pims.pdf BibTex
titre
Constant Delay Enumeration for Conjunctive Queries
auteur
Luc Segoufin
article
SIGMOD record, ACM, 2015, 44 (1), pp.8
Accès au bibtex
BibTex
titre
Guarded negation
auteur
Vince Barany, Balder Ten Cate, Luc Segoufin
article
Journal of the ACM (JACM), Association for Computing Machinery, 2015, 62 (3), pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01184763/file/myversion.pdf BibTex
titre
Highly Expressive Query Languages for Unordered Data Trees
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
Theory of Computing Systems, Springer Verlag, 2015, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01167068/file/journal.pdf BibTex
titre
Optimal Probabilistic Generation of XML Documents
auteur
Serge Abiteboul, Yael Amsterdamer, Daniel Deutch, Tova Milo, Pierre Senellart
article
Theory of Computing Systems, Springer Verlag, 2015, 〈10.1007/s00224-014-9581-5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01261950/file/abiteboul2013optimal-1.pdf BibTex
titre
DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES
auteur
Thomas Place, Luc Segoufin
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3), 〈10.2168/LMCS-11(3:5)2015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01223373/file/fodeux-char.pdf BibTex

Communication dans un congrès

titre
Hup-Me: Inferring and Reconciling a Timeline of User Activity from Rich Smartphone Data
auteur
David Montoya, Serge Abiteboul, Pierre Senellart
article
ACM SIGSPATIAL 2015 - Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Nov 2015, Seattle, WA, United States. 2015
Accès au bibtex
BibTex
titre
Hup-Me: Inferring and Reconciling a Timeline of User Activity with Smartphone and Personal Data
auteur
David Montoya, Serge Abiteboul, Pierre Senellart
article
SIGSPATIAL (Special Interest Group on Spatial Information), Nov 2015, Seattle, United States. SIGSPATIAL (Special Interest Group on Spatial Information), 2015, 〈10.1145/2820783.2820852〉
Accès au bibtex
BibTex
titre
Demystifying Reachability in Vector Addition Systems
auteur
Jérôme Leroux, Sylvain Schmitz
article
LICS 2015, Jul 2015, Kyoto, Japan. IEEE, pp.56--67, 〈10.1109/LICS.2015.16〉
Accès au bibtex
https://arxiv.org/pdf/1503.00745 BibTex
titre
Asymptotic Determinacy of Path Queries using Union-of-Paths Views
auteur
Nadime Francis
article
18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium. 2015, 〈http://edbticdt2015.be/〉. 〈10.4230/LIPIcs.ICDT.2015.44〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01150780/file/3.pdf BibTex
titre
Process-Centric Views of Data-Driven Business Artifacts
auteur
Adrien Koutsos, Victor Vianu
article
International Conference on Database Theory (ICDT), 2015, Bruxelles, Belgium. pp.18, 〈10.4230/LIPIcs.ICDT.2015.247〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01167033/file/15.pdf BibTex
titre
Capturing MSO with One Quantifier
auteur
Anuj Dawar, Luc Segoufin
article
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday., 2015, Berlin, Germany. 9300, 2015, LNCS. 〈10.1007/978-3-319-23534-9_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01223378/file/mso-oneQ.pdf BibTex
titre
Collaborative Access Control in WebdamLog
auteur
Vera Zaychik Moffit, Julia Stoyanovich, Serge Abiteboul, Gerome Miklau
article
Proceeding of the ACM Sigmod Conference on Data Management, 2015, Melbourne, Australia. 2015, ACM Sigmod
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01136473/file/sec_for_serge.pdf BibTex
titre
The Story of Webdamlog
auteur
Serge Abiteboul
article
19th East-European Conference on Advances in Databases and Information Systems, 2015, Futuroscope, Poitiers, France. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01195717/file/abiteboul-1.pdf BibTex

Chapitre d'ouvrage

titre
Humanités numériques
auteur
Serge Abiteboul, Florence Hachez-Leroy
article
Encyclopédie de l'humanisme méditerranéen, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120259/file/HumanitesNumeriques.02-2015.pdf BibTex

Autre publication

titre
Data, Responsibly
auteur
Serge Abiteboul, Julia Stoyanovich
article
ACM Sigmod Blog, 20 November 2015. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248054/file/Data.pdf BibTex

Rapport

titre
Ambition numérique
auteur
Serge Abiteboul, Nathalie Andrieux, Christine Balagué, Godefroy Beauvallet, Ludovic Blecher, Nathalie Bloch-Pujo, Michel Briand, Virginia Cruz, Pascal Daloz, Marylène Delbourg-Delphis, Stéphane Distinguin, Marie Ekeland, Virginie Fauvel, Cyril Garcia, Audrey Harris, Francis Jutand, Daniel Kaplan, Florence Le Ny, Tristan Nitot, Sophie Pène, Valérie Peugeot, Lara Rouyrès, Jean-Baptiste Rudelle, Cécile Russeil, Bernard Stiegler, Benoît Thieulin, Marc Tessier, Brigitte Vallée
article
[Rapport de recherche] Conseil national du Numérique. 2015
Accès au bibtex
BibTex

Thèse

titre
View-based query determinacy and rewritings over graph databases
auteur
Nadime Francis
article
Databases [cs.DB]. Université Paris-Saclay, 2015. English. 〈NNT : 2015SACLN015〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01247115/file/73123_FRANCIS_2015_archivage.pdf BibTex

2014

Article dans une revue

titre
Naive Evaluation of Queries over Incomplete Databases
auteur
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2014, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01101184/file/tods-final.pdf BibTex
titre
Un déluge de données
auteur
Serge Abiteboul, Pierre Senellart
article
Interstices, INRIA, 2014, 〈https://interstices.info/jcms/ni_76920/un-deluge-de-donnees〉
Accès au bibtex
BibTex
titre
The Power of Priority Channel Systems
auteur
Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (4:4), pp.1--39. 〈http://www.lmcs-online.org/ojs/viewarticle.php?id=1595&layout=abstract〉. 〈10.2168/LMCS-10(4:4)2014〉
Accès au bibtex
https://arxiv.org/pdf/1301.5500 BibTex
titre
A la recherche des connaissances du Web...
auteur
Serge Abiteboul, Fabien Gandon, Fabian M. Suchanek
article
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2014, pp.20. 〈www.societe-informatique-de-france.fr/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01254247/file/1024-2-abiteboul-gandon-suchanek.pdf BibTex

Communication dans un congrès

titre
Consistency of injective tree patterns
auteur
Claire David, Nadime Francis, Filip Murlak
article
Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India. 2014, 〈http://www.fsttcs.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094596/file/25.pdf BibTex
titre
Inferring multimodal itineraries from rich smartphone data
auteur
David Montoya, Serge Abiteboul
article
BDA 2014 - Gestion de données - principes, technologies et applications, Oct 2014, Autrans, France. pp.38--42, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01163802/file/bda2014-actes-demo-2-pp38-42.pdf BibTex
titre
Complexity Bounds for Ordinal-Based Termination
auteur
Sylvain Schmitz
article
Joël Ouaknine; Igor Potapov; James Worrell. 8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. Springer, 8762, pp.1--19, Lecture Notes in Computer Science. 〈10.1007/978-3-319-11439-2_1〉
Accès au bibtex
https://arxiv.org/pdf/1407.5896 BibTex
titre
Alternating Vector Addition Systems with States
auteur
Jean-Baptiste Courtois, Sylvain Schmitz
article
Csuhaj-Varjú, Erzsébet; Dietzfelbinger, Martin; Ésik, Zoltán. 39th International Symposium on Mathematical Foundations of Computer Science, Aug 2014, Budapest, Bulgaria. Springer, 8634, pp.220--231, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-44522-8_19〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980878/file/article.pdf BibTex
titre
Implicational Relevance Logic is 2-ExpTime-Complete
auteur
Sylvain Schmitz
article
Gilles Dowek. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Jul 2014, Vienna, Austria. Springer, 8560, pp.395--409, Lecture Notes in Comptuer Science. 〈10.1007/978-3-319-08918-8_27〉
Accès au bibtex
https://arxiv.org/pdf/1402.0705 BibTex
titre
Non-Elementary Complexities for Branching VASS, MELL, and Extensions
auteur
Ranko Lazić, Sylvain Schmitz
article
Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. ACM, pp.61:1--61:1, 2014, 〈10.1145/2603088.2603129〉
Accès au bibtex
https://arxiv.org/pdf/1401.6785 BibTex
titre
Enumerating answers to first-order queries over databases of low degree
auteur
Arnaud Durand, Nicole Schweikardt, Luc Segoufin
article
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, Jun 2014, Snowbird, United States. pp.121--131, 2014, 〈10.1145/2594538.2594539〉
Accès au bibtex
BibTex
titre
Datalog Rewritings of Regular Path Queries using Views
auteur
Nadime Francis, Luc Segoufin, Cristina Sirangelo
article
Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014., Mar 2014, Athens, Greece. pp.107--118, 2014, 〈10.5441/002/icdt.2014.14〉
Accès au bibtex
BibTex
titre
A glimpse on constant delay enumeration
auteur
Luc Segoufin
article
31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France, Mar 2014, Lyon, France. pp.13--27, 2014, 〈10.4230/LIPIcs.STACS.2014.13〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01070893/file/cdlin-stacs.pdf BibTex
titre
Deduction with Contradictions in Datalog
auteur
Serge Abiteboul, Daniel Deutch, Victor Vianu
article
International Conference on Database Theory, 2014, Athens, Greece. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923265/file/13DatalogFD.pdf BibTex

HDR

titre
Representing and Querying Incomplete Information: a Data Interoperability Perspective
auteur
Cristina Sirangelo
article
Databases [cs.DB]. Ecole Normale Supérieure de Cachan, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01092547/file/hdr.pdf BibTex

Autre publication

titre
Jules Ferry 3.0, Bâtir une école créative et juste dans un monde numérique.
auteur
Sophie Pène, Serge Abiteboul, Christine Balagué, Ludovic Blecher, Nathalie Bloch-Pujo, Michel Briand, Cyril Garcia, Francis Jutand, Daniel Kaplan, Pascale Luciani-Boyer, Valérie Peugeot, Bernard Stiegler, Brigitte Vallée
article
Rapport du conseil national du numérique. 2014
Accès au bibtex
BibTex

Rapport

titre
L'émergence d'une nouvelle filière de formation : « data scientists »
auteur
Serge Abiteboul, François Bancilhon, François Bourdoncle, Stephan Clemencon, Colin De La Higuera, Gilbert Saporta, Françoise Fogelman Soulié
article
[Interne] INRIA Saclay. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01092062/file/datascience.4.pdf BibTex

2013

Article dans une revue

titre
Un déluge de données
auteur
Serge Abiteboul, Pierre Senellart
article
Pour la science, Pour la science, 2013, 433, pp.32-35
Accès au bibtex
BibTex
titre
Vers une nouvelle science des risques ?
auteur
Serge Abiteboul
article
Risques, Société d'édition et de diffusion des documents informatifs et techniques de l'assurance, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908090/file/13risquesAbiteboul.pdf BibTex
titre
Enumeration of monadic second-order queries on trees
auteur
Wojciech Kazana, Luc Segoufin
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (4)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916400/file/enummso.pdf BibTex
titre
On the equivalence of distributed systems with queries and communication
auteur
Serge Abiteboul, Yannis Katsis, Balder Ten Cate
article
Journal of Computer and System Sciences, Elsevier, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879029/file/axml-equiv.pdf BibTex
titre
Unary negation
auteur
Balder Ten Cate, Luc Segoufin
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (3)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00904567/file/unaryneg.pdf BibTex

Communication dans un congrès

titre
Introducing Access Control in Webdamlog
auteur
Serge Abiteboul, Émilien Antoine, Gerome Miklau, Julia Stoyanovich, Vera Zaychik Moffitt
article
DBPL - 14th International Symposium on Database Programming Languages - 2013, Aug 2013, Riva del Garda, Trento, Italy. 2013, 〈http://fr.arxiv.org/abs/1307.8269〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850754/file/13.dbpl.pdf BibTex
titre
Reasoning About Pattern-Based XML Queries
auteur
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
article
RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Jul 2013, Mannheim, Germany. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908414/file/rr.pdf BibTex
titre
Collaborative data-driven workflows: think global, act local
auteur
Serge Abiteboul, Victor Vianu
article
Proceedings of the 32nd symposium on Principles of database systems, Jun 2013, New York, NY, USA, United States. ACM, pp.91--102, 2013, 〈10.1145/2463664.2463672〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840306/file/12AbiteboulVianu.pdf BibTex
titre
When is Naïve Evaluation Possible?
auteur
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
article
PODS - 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013, Jun 2013, New York, United States. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908404/file/pods13.pdf BibTex
titre
Enumeration of first-order queries on classes of structures with bounded expansion
auteur
Wojciech Kazana, Luc Segoufin
article
ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.297-308, 2013
Accès au bibtex
BibTex
titre
Verification of database-driven systems via amalgamation
auteur
Mikołaj Bojańczyk, Luc Segoufin, Szymon Toruńczyk
article
ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.63-74, 2013
Accès au bibtex
BibTex
titre
Les connaissances de la toile
auteur
Serge Abiteboul
article
Cultures numériques, éducation aux médias et à l'information, May 2013, Lyon, France. Scéron Edition, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915477/file/13Lyon.pdf BibTex
titre
Enumerating with constant delay the answers to a query
auteur
Luc Segoufin
article
ICDT 2013 - 16th International Conference on Database Theory, Mar 2013, Genes, Italy. ACM, ICDT '13 Proceedings of the 16th International Conference on Database Theory, pp.10-20, 2013, 〈10.1145/2448496.2448498〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00907085/file/cdlin-survey.pdf BibTex
titre
Recursive queries on trees and data trees
auteur
Serge Abiteboul, Pierre Bourhis, Anca Muscholl, Zhilin Wu
article
Proceedings of the 16th International Conference on Database Theory, Mar 2013, Genoa, Italy. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00809297/file/p93-abiteboul.pdf BibTex
titre
Rule-Based Application Development using Webdamlog
auteur
Serge Abiteboul, Émilien Antoine, Gerome Miklau, Julia Stoyanovich, Jules Testard
article
SIGMOD - Special Interest Group on Management Of Data, 2013, New York, United States. 2013, Demo
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00817791/file/sigmod376-Abiteboul.pdf BibTex

Autre publication

titre
Citoyens d’une société numérique. Accès, Littératie, Médiations, Pouvoir d’agir, Pour une nouvelle politique d’inclusion
auteur
Serge Abiteboul, Nathalie Andrieux, Christine Balagué, Michel Briand, Cyril Garcia, Audrey Harris, Daniel Kaplan, Florence Le Ny, Sophie Pène, Valérie Peugeot, Benoît Thieulin, Brigitte Vallée
article
Rapport remis à la ministre déléguée chargée des Petites et Moyennes Entreprises, de l’Innovation.. 2013
Accès au bibtex
BibTex

Rapport

titre
The Webdamlog System Managing Distributed Knowledge on the Web
auteur
Serge Abiteboul, Émilien Antoine, Julia Stoyanovich
article
[Technical Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813300/file/main.pdf BibTex

Thèse

titre
Distributed data management with the rule-based language: Webdamlog
auteur
Émilien Antoine
article
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00908155/file/thesis.pdf BibTex

2012

Article dans une revue

titre
Decidability of Downward XPath
auteur
Diego Figueira
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (4), pp.1-40. 〈10.1145/2362355.2362362〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01799714/file/main-with-app.pdf BibTex
titre
Piecewise testable tree languages
auteur
Mikołaj Bojańczyk, Luc Segoufin, Howard Straubing
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (3), pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01160458/file/simon.pdf BibTex
titre
Comparing workflow specification languages: A matter of views
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2012, 37 (10), 〈10.1145/2188349.2188352〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766210/file/final.pdf BibTex
titre
Locality from Circuit Lower Bounds
auteur
Matthew Anderson, Dieter Van Melkebeek, Nicole Schweikardt, Luc Segoufin
article
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2012, 46 (1), pp.43. 〈10.1137/110856873〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01160454/file/arbinv.pdf BibTex
titre
Des triplets sur des arbres: un modèle hybride XML-RDF pour documents annotés
auteur
François Goasdoué, Konstantinos Karanasos, Yannis Katsis, Julien Leblay, Ioana Manolescu, Stamatis Zampetakis
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2012, Bases de données avancées: modélisation, interrogation et optimisation, 17 (5), pp.87-111. 〈10.3166/ISI.17.5.87-111〉
Accès au bibtex
BibTex
titre
Alternating register automata on finite words and trees
auteur
Diego Figueira
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.1-44. 〈10.2168/LMCS-8(1:22)2012〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01799710/file/main2.pdf BibTex

Communication dans un congrès

titre
The WebdamLog System: Managing Distributed Knowledge on the Web
auteur
Serge Abiteboul, Émilien Antoine, Julia Stoyanovich
article
Base de données avancées, Oct 2012, Clermont-Ferrand, France. 2012, 〈http://hal.inria.fr/hal-00813300〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805797/file/Camera-ready_version.pdf BibTex
titre
Deduction in the Presence of Distribution and Contradictions
auteur
Serge Abiteboul, Meghyn Bienvenu, Daniel Deutch
article
WebDB, May 2012, Scottsdale, United States. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00809300/file/p5.pdf BibTex
titre
Auto-completion learning for XML
auteur
Serge Abiteboul, Yael Amsterdamer, Tova Milo, Pierre Senellart
article
SIGMOD Conference, May 2012, Scottsdale, United States. pp.669-672, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00765552/file/abiteboul2012autocompletion.pdf BibTex
titre
The ERC webdam on foundations of web data management
auteur
Serge Abiteboul, Pierre Senellart, Victor Vianu
article
WWW (Companion Volume), Apr 2012, Lyon, France. pp.211-214, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00765560/file/abiteboul2012erc.pdf BibTex
titre
Highly expressive query languages for unordered data trees
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
ICDT, Mar 2012, Berlin, Germany. pp.46-60, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00765558/file/a10-Abiteboul.pdf BibTex
titre
Finding optimal probabilistic generators for XML collections
auteur
Serge Abiteboul, Yael Amsterdamer, Daniel Deutch, Tova Milo, Pierre Senellart
article
ICDT, Mar 2012, Berlin, Germany. pp.127-139, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00765545/file/abiteboul2012finding.pdf BibTex
titre
Viewing the Web as a Distributed Knowledge Base
auteur
Serge Abiteboul, Émilien Antoine, Julia Stoyanovich
article
International Conference on Data Engineering, 2012, Washington DC, United States. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00703210/file/11dataengi.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Sciences des données : de la logique du premier ordre à la Toile
auteur
Serge Abiteboul
article
2012, 〈http://www.college-de-france.fr/site/serge-abiteboul/inaugural-lecture-2012-03-08-18h00.htm〉
Accès au bibtex
BibTex
titre
Web Data Management
auteur
Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
article
Cambridge University Press, pp.432, 2012
Accès au bibtex
BibTex

2011

Article dans une revue

titre
PARIS: Probabilistic Alignment of Relations, Instances, and Schema
auteur
Fabian M. Suchanek, Serge Abiteboul, Pierre Senellart
article
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2011, 5 (3), pp.157-168
Accès au bibtex
BibTex
titre
Capturing Continuous Data and Answering Aggregate Queries in Probabilistic XML
auteur
Serge Abiteboul, Evgeny Kharlamov, Werner Nutt, T.-H. Hubert Chan, Pierre Senellart
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2011, 36 (4), pp.25
Accès au bibtex
BibTex
titre
Rigid Tree Automata and Applications
auteur
Florent Jacquemard, Francis Klay, Camille Vacher
article
Information and Computation, Elsevier, 2011, 209 (3), pp.486-512. 〈http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WGK-51H1DHJ-J&_user=10&_coverDate=03%2F31%2F2011&_rdoc=1&_fmt=high&_orig=gateway&_origin=gateway&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=0d6e3d814e7f339e96326472ec1dc812&searchtype=a〉. 〈10.1016/j.ic.2010.11.015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578820/file/RTA-long.pdf BibTex

Communication dans un congrès

titre
Formalisation des relations temporelles dans un contexte d'accompagnement musical automatique
auteur
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard
article
Hermès. 8e Colloque sur la Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 45, pp.109-124, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00642921/file/AMA_MSR.pdf BibTex
titre
Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents
auteur
François Goasdoué, Konstantinos Karanasos, Yannis Katsis, Julien Leblay, Ioana Manolescu, Stamatis Zampetakis
article
Journées de Bases de Données Avancées, Oct 2011, Rabat, Morocco. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00624991/file/paper.pdf BibTex
titre
Controlled Term Rewriting
auteur
Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
article
C. Tinelli and V. Sofronie-Stokkermans. 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrücken, Germany. Springer, 6989, pp.179-194, 2011, Lecture Notes in Artificial Intelligence
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00643160/file/CTRS.pdf BibTex
titre
Ontology Matching at the Instance and Schema Level
auteur
Fabian M. Suchanek, Serge Abiteboul, Pierre Senellart
article
BDA (Bases de données avancées), Oct 2011, Rabat, Morocco. pp.20, 2011
Accès au bibtex
BibTex
titre
Optimal Probabilistic Generators for XML Corpora
auteur
Serge Abiteboul, Yael Amsterdamer, Daniel Deutch, Tova Milo, Pierre Senellart
article
BDA (Bases de données avancées), Oct 2011, Rabat, Morocco. pp.20, 2011
Accès au bibtex
BibTex
titre
Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents
auteur
François Goasdoué, Konstantinos Karanasos, Yannis Katsis, Julien Leblay, Ioana Manolescu, Stamatis Zampetakis
article
Marco Brambilla and Fabio Casati and Stefano Ceri. First International Workshop on Searching and Integrating New Web Data Sources, Sep 2011, Seattle, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00624996/file/paper.pdf BibTex
titre
A rule-based language for Web data management
auteur
Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Émilien Antoine
article
Principles of Database Systems, Jun 2011, Athens, Greece. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00582891/file/pods17a-abiteboul.pdf BibTex
titre
Web information management with access control
auteur
Alban Galland, Serge Abiteboul, Neoklis Polyzotis
article
14th International Workshop on the Web and Databases (WebDB), Jun 2011, Athens, Greece. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00595200/file/WebDB11.pdf BibTex
titre
[Demo] Social Networking on top of the WebdamExchange System
auteur
Émilien Antoine, Alban Galland, Kristian Lyngbaek, Amélie Marian, Neoklis Polyzotis
article
International Conference on Data Engineering, Apr 2011, Hannover, Germany. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536361/file/ICDE11_Demo_840.pdf BibTex
titre
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
auteur
Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard
article
Mdersheim, Sebastian and Palamidessi, Catuscia. Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. Springer, 6993, pp.166-185, 2011, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/h77512586g626833/〉. 〈10.1007/978-3-642-27375-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578896/file/tosca.pdf BibTex
titre
Comparing Workflow Specification Languages: A Matter of Views
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. 2011
Accès au bibtex
BibTex
titre
On the Equivalence of Distributed Systems with Queries and Communication
auteur
Serge Abiteboul, Balder Ten Cate, Yannis Katsis
article
International Conference on Database Theory, Mar 2011, Uppsala, Sweden. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540199/file/axml-equiv.pdf BibTex

Chapitre d'ouvrage

titre
Modeling, Querying, and Mining Uncertain XML Data
auteur
Evgeny Kharlamov, Pierre Senellart
article
Andrea Tagarelli. XML Data Mining: Models, Methods, and Applications, IGI Global, 2011
Accès au bibtex
BibTex

HDR

titre
Extended Tree Automata Models for the Verification of Infinite State Systems
auteur
Florent Jacquemard
article
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00643595/file/plan.pdf BibTex

Rapport

titre
Ontology Alignment at the Instance and Schema Level
auteur
Fabian Suchanek, Serge Abiteboul, Pierre Senellart
article
[Technical Report] RT-0408, INRIA. 2011, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00596210/file/RT-0408.pdf BibTex

Thèse

titre
On the dynamics of active documents for distributed data management
auteur
Pierre Bourhis
article
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. 〈NNT : 2011PA112003〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00598299/file/VA_BOURHIS_PIERRE_11_02_2011.pdf BibTex

2010

Communication dans un congrès

titre
XML Access Control: from XACML to Annotated Schemas
auteur
Ryma Abassi, Florent Jacquemard, Michael Rusinowitch, Sihem Guemara El Fatmi
article
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. IEEE Computer Society Press, pp.1-8, 2010, 〈http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5699810〉. 〈10.1109/COMNET.2010.5699810〉
Accès au bibtex
BibTex
titre
[Demo] AXART - Enabling Collaborative Work with AXML Artifacts
auteur
Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu, Alban Galland
article
VLDB 2010 - 36th International Conference on Very Large Data Bases Endowment, Sep 2010, Singapour, Singapore. 3 (2), pp.1553-1556, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00521726/file/D10.pdf BibTex
titre
Relating timed and register automata
auteur
Diego Figueira, Piotr Hofman, Sławomir Lasota
article
International Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. EPTCS, 41, pp.61-75, 2010, 〈10.4204/EPTCS.41.5〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01806104/file/timedata.pdf BibTex
titre
Rewrite-Based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
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, 2010, 〈http://portal.acm.org/citation.cfm?doid=1836089.1836105〉. 〈10.1145/1836089.1836105〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578916/file/ppdp06a-jacquemard-HAL.pdf BibTex
titre
The Emptiness Problem for Tree Automata with Global Constraints
auteur
Luis Barguñó, Carlos Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
article
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, 2010, 〈http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5571714〉. 〈10.1109/LICS.2010.28〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578901/file/globalconstraints-IEEE.pdf BibTex
titre
Forward-XPath and extended register automata
auteur
Diego Figueira
article
International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ACM Press, 〈10.1145/1804669.1804699〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01806093/file/mainhal.pdf BibTex
titre
Distributed Datalog Revisited
auteur
Serge Abiteboul, Meghyn Bienvenu, Alban Galland, Marie-Christine Rousset
article
Datalog 2.0 Workshop, Mar 2010, Oxford, United Kingdom. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00540814/file/datalog20-serge.pdf BibTex
titre
Aggregate Queries for Discrete and Continuous Probabilistic XML
auteur
Serge Abiteboul, T-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
article
International Conference on Database Theory (ICDT), 2010, Lausanne, Switzerland. pp.50-61, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537632/file/main.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Web Data Management and Distribution
auteur
Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
article
Cambridge University Press, pp.381, 2010
Accès au bibtex
BibTex

2009

Article dans une revue

titre
On the Expressiveness of Probabilistic XML Models
auteur
Serge Abiteboul, Benny Kimelfeld, Y. Sagiv, Pierre Senellart
article
The VLDB Journal, Springer, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429498/file/main.pdf BibTex
titre
Modeling and Verifying Active XML Artifacts
auteur
Serge Abiteboul, Luc Segoufin, Victor Vianu
article
IEEE Data Eng. Bull., IEEE, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429484/file/AbiteboulSegoufinVianu09.pdf BibTex

Communication dans un congrès

titre
Future-looking Logics on Data Words and Trees
auteur
Diego Figueira, Luc Segoufin
article
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2009, Novy Smokovec, Slovakia. Springer, LNCS, 5734, pp.331-343, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01806188/file/transitive-words.pdf BibTex
titre
The AXML Artifact Model
auteur
Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu
article
16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00447694/file/GemoReport-10021.pdf BibTex
titre
Which Semantics for Neighbourhood Semantics?
auteur
Carlos Areces, Diego Figueira
article
Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676, 2009
Accès au bibtex
BibTex
titre
Tableaux and Model Checking for Memory Logics
auteur
Carlos Areces, Diego Figueira, Daniel Gorin, Sergio Mera
article
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, 5607, pp.47--61, 2009, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
titre
Automatic Verification of Conformance of Firewall Configurations to Security Policies
auteur
Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard
article
IEEE Symposium on Computers and Communications (ISCC), Jul 2009, Sousse, Tunisia. IEEE Computer Society Press, pp.526-531, 2009, 〈http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5202309〉. 〈10.1109/ISCC.2009.5202309〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578926/file/paper8.pdf BibTex
titre
Distributed XML Design
auteur
Serge Abiteboul, Georg Gottlob, Marco Manna
article
Symposium on Principles of Database Systems (PODS), Jun 2009, Providence, United States. 2009, 〈10.1145/1559795.1559833〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429591/file/p247-abiteboul.pdf BibTex
titre
Unique Normalization for Shallow TRS
auteur
Guillem Godoy, Florent Jacquemard
article
Treinen, Ralf. 20th International Conference on Rewriting Techniques and Applications (RTA), Jun 2009, Brazilia, Brazil. Springer, 5595, pp.63-77, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/21x87318813m43x3/〉. 〈10.1007/978-3-642-02348-4_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578959/file/UNflat.pdf BibTex
titre
Rigid Tree Automata
auteur
Florent Jacquemard, Francis Klay, Camille Vacher
article
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, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/m381707kkqh12401/〉. 〈10.1007/978-3-642-00982-2_38〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579001/file/RTA.pdf BibTex

Rapport

titre
Rewrite based Verification of XML Updates
auteur
Florent Jacquemard, Michael Rusinowitch
article
[Research Report] RR-7007, INRIA. 2009, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00408162/file/RR-7007.pdf BibTex

2008

Article dans une revue

titre
Visibly Tree Automata with Memory and Constraints
auteur
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2008, 4 (2), 〈http://arxiv.org/pdf/0804.3065〉. 〈10.2168/LMCS-4(2:8)2008〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578844/file/VTAM-LMCS.pdf BibTex

Communication dans un congrès

titre
Automated Induction with Constrained Tree Automata
auteur
Adel Bouhoula, Florent Jacquemard
article
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, 2008, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/2t58870130542x16/〉. 〈10.1007/978-3-540-71070-7_44〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579004/file/induction-HAL.pdf BibTex
titre
Closure of Tree Automata Languages under Innermost Rewriting
auteur
Adria Gascon, Guillem Godoy, Florent Jacquemard
article
Middeldorp, Aart. 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. Elsevier, 237, pp.23-38, 2008, Electronic Notes in Theoretical Computer Science. 〈http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4VXW9BM-3&_user=10&_coverDate=04%2F04%2F2009&_rdoc=1&_fmt=high&_orig=gateway&_origin=gateway&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=976e2294a5625d24b1268e55f91e14e7&searchtype=a〉. 〈10.1016/j.entcs.2009.03.033〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578966/file/btregularity-wrs-HAL.pdf BibTex

2007

Communication dans un congrès

titre
Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
auteur
Adel Bouhoula, Florent Jacquemard
article
Degano, Pierpaolo and Ksters, 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. pp.27-44, 2007, Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579015/file/BJ-arspa07.pdf BibTex
titre
Tree Automata with Memory, Visibility and Structural Constraints
auteur
Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin
article
Helmut Seidl. 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Mar 2007, Braga, Portugal. Springer, 4423, pp.168-182, 2007, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/r7720vqm51248648/〉. 〈10.1007/978-3-540-71389-0_13〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579009/file/CJP-fossacs07.pdf BibTex

2006

Article dans une revue

titre
Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks
auteur
Stéphanie Delaune, Florent Jacquemard
article
Journal of Automated Reasoning, Springer Verlag, 2006, 36 (1-2), pp.85-124. 〈http://www.springerlink.com/content/g1504263136433v6/〉. 〈10.1007/s10817-005-9017-7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578855/file/DJ-jar05.pdf BibTex

Communication dans un congrès

titre
The Confluence Problem for Flat TRSs
auteur
Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard
article
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, 2006, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/3m3n00k2661814um/〉. 〈10.1007/11856290_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579010/file/MOJ-aisc06.pdf BibTex
titre
Tree automata with equality constraints modulo equational theories
auteur
Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron
article
Ulrich Furbach and Natarajan Shankar. 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. Springer, 4130, pp.557-571, 2006, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/j354023699610786/〉. 〈10.1007/11814771_45〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579011/file/rr-lsv-2006-07.pdf BibTex
titre
Automating Sufficient Completeness Check for Conditional and Constrained TRS
auteur
Adel Bouhoula, Florent Jacquemard
article
Levy, Jordi. 20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States. 2006, Proceedings of the 20th International Workshop on Unification (UNIF)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579017/file/BJ-unif06.pdf BibTex
titre
Security Protocol Verification with Implicit Induction and Explicit Destructors
auteur
Adel Bouhoula, Florent Jacquemard
article
Fernández, Maribel and Kirchner, Claude. 1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44, 2006, Proceedings of the 1st International Workshop on Security and Rewriting Techniques (SecReT)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579018/file/BJ-secret06.pdf BibTex

2005

Communication dans un congrès

titre
Constructing and querying peer-to-peer warehouses of XML resources
auteur
Serge Abiteboul, Ioana Manolescu, Nicoleta Preda
article
IEEE. ICDE '05 Proceedings of the 21st International Conference on Data Engineering, Apr 2005, Tokyo, Japan. IEEE, pp.1122-1123, 2005, 〈10.1109/ICDE.2005.38〉
Accès au bibtex
BibTex
titre
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
auteur
Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo
article
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, 2005, 〈10.1145/1065167.1065214〉
Accès au bibtex
BibTex

2004

Communication dans un congrès

titre
A Decision Procedure for the Verification of Security Protocols with Explicit Destructors
auteur
Stéphanie Delaune, Florent Jacquemard
article
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, pp.278-287, 2004, Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579012/file/DJ-ccs-2004.pdf BibTex
titre
A Theory of Dictionary Attacks and its Complexity
auteur
Stéphanie Delaune, Florent Jacquemard
article
17th IEEE Computer Security Foundations Workshop (CSFW), Jun 2004, Asilomar, Pacific Grove, United States. IEEE Computer Society Press, pp.2-15, 2004, Proceedings of the 17th IEEE Computer Security Foundations Workshop (CSFW)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579014/file/DJ-csfw2004.pdf BibTex

2003

Article dans une revue

titre
Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation
auteur
Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach
article
INTELLIGENT INFORMATION SYSTEMS, 2003, 28, pp.563-595
Accès au bibtex
BibTex
titre
Ground Reducibility is EXPTIME-complete
auteur
Hubert Comon-Lundh, Florent Jacquemard
article
Information and Computation, Elsevier, 2003, 187 (1), pp.123-153
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578859/file/CJ-icomp.pdf BibTex
titre
Reachability and confluence are undecidable for flat term rewriting systems
auteur
Florent Jacquemard
article
Information Processing Letters, Elsevier, 2003, 87 (5), pp.265-270
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578875/file/jacquemard-IPL-HAL.pdf BibTex

2000

Communication dans un congrès

titre
Manipulating Interpolated Data is Easier than You Thought
auteur
Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
article
Intl. Conf. on Very Large Databases (VLDB), Jan 2000, X, France. 2000
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
The DEDALE Prototype
auteur
Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
article
The DEDALE Prototype, 2000
Accès au bibtex
BibTex
titre
Query Evaluation and Optimization
auteur
Stéphane Grumbach, Z. Lacroix, Philippe Rigaux, Luc Segoufin
article
Query Evaluation and Optimization, 2000
Accès au bibtex
BibTex

1999

Communication dans un congrès

titre
On the Orthographic Dimension of Constraint Databases
auteur
Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
article
Intl. Conf. on Database Theory (ICDT), Jan 1999, X, France. 1999
Accès au bibtex
BibTex

1998

Communication dans un congrès

titre
The DEDALE System for Complex Spatial Queries
auteur
Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
article
ACM-SIGMOD Intl. Conf. on the Management of Data (SIGMOD'98), Jun 1998, Seattle, WA, United States. 1998
Accès au bibtex
BibTex
titre
Spatio-Temporal Data Handling with Constraints
auteur
Stéphane Grumbach, Philippe Rigaux, Luc Segoufin
article
Intl. Symposium on Geographic Information Systems (ACM-GIS'98), Jan 1998, X, France. 1998
Accès au bibtex
BibTex

1997

Communication dans un congrès

titre
DEDALE, A Spatial Constraint Database
auteur
Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
article
Intl. Workshop on Database Programming Languages (DBPL), Jan 1997, X, France. 1997
Accès au bibtex
BibTex

Suivez Inria