2019

Conference papers

titre
Oblivious and Semi-Oblivious Boundedness for Existential Rules
auteur
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Galois
article
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/file/camera_ready.pdf BibTex

2017

Conference papers

titre
Ontology-Mediated Query Answering for Key-Value Stores
auteur
Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
article
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632090/file/main-OQAKV.pdf BibTex

2013

Journal articles

titre
Static analysis of xml security views and query rewriting
auteur
Benoit Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison
article
Information and Computation, Elsevier, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00796297/file/article.pdf BibTex

Documents associated with scientific events

titre
Tree Automata with Constraints: a brief survey
auteur
Emmanuel Filiot, Florent Jacquemard, Sophie Tison
article
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840959/file/TAC-survey.pdf BibTex

2011

Journal articles

titre
Queries on XML Streams with Bounded Delay and Concurrency
auteur
Olivier Gauwin, Joachim Niehren, Sophie Tison
article
Information and Computation, Elsevier, 2011, Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), 209 (3), pp.409-442. ⟨10.1016/j.ic.2010.08.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00491495/file/0.pdf BibTex

Conference papers

titre
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?
auteur
Sophie Tison
article
22nd International Conference on Rewriting Techniques and Applications (RTA'11), Apr 2011, France. ⟨10.4230/LIPIcs.RTA.2011.1⟩
Accès au bibtex
BibTex
titre
View update translation for XML
auteur
Iovka Boneva, Benoit Groz, Sophie Tison, Anne-Cécile Caron, Yves Roos, Slawomir Staworko
article
14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534857/file/bgtcrs-icdt11.pdf BibTex

2010

Journal articles

titre
Tree Automata With Global Constraints
auteur
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2010, 21 (4), pp.571-596. ⟨10.1142/S012905411000743X⟩
Accès au bibtex
BibTex

Book sections

titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
IA Handbook, Cépaduès, pp.1-63, 2010
Accès au bibtex
BibTex

2009

Conference papers

titre
Earliest Query Answering for Deterministic Nested Word Automata
auteur
Olivier Gauwin, Joachim Niehren, Sophie Tison
article
17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. pp.121-132
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00390236/file/0.pdf BibTex
titre
XML Security Views Revisited
auteur
Benoit Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison
article
International Symposium on Database Programming Languages, Aug 2009, LYON, France. pp 52-67
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00396796/file/xml-security-views-revisited.pdf BibTex
titre
Bounded Delay and Concurrency for Earliest Query Answering
auteur
Olivier Gauwin, Joachim Niehren, Sophie Tison
article
3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.350-361, ⟨10.1007/978-3-642-00982-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00348463/file/lata09_paper.pdf BibTex

2008

Conference papers

titre
Tree Automata with Global Constraints
auteur
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
article
12th International Conference on Developments in Language Theory (DLT), Sep 2008, Kyoto, Japan. pp.314-326
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00292027/file/dlt-full.pdf https://hal.inria.fr/inria-00292027/file/dlt-short.pdf BibTex
titre
Regular n-ary Queries in Trees and Variable Independence
auteur
Emmanuel Filiot, Sophie Tison
article
5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. pp.429-443
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274648/file/variable-independence.pdf BibTex
titre
Classes of Tree Homomorphisms with Decidable Preservation of Regularity
auteur
Guillem Godoy, Sebastian Maneth, Sophie Tison
article
FOSSACS'08, Apr 2008, Hungary. pp.127-141
Accès au bibtex
BibTex
titre
Complexity of Earliest Query Answering with Streaming Tree Automata
auteur
Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison
article
ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336169/file/planx08.pdf BibTex

2007

Journal articles

titre
Path constraints in semistructured data
auteur
Yves André, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison
article
Theoretical Computer Science, Elsevier, 2007, 385 (1-3), pp.11-33. ⟨10.1016/j.tcs.2007.05.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00189067/file/tcs.pdf BibTex

Conference papers

titre
Satisfiability of a Spatial Logic with Tree Variables
auteur
Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
article
16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. pp.130-145, ⟨10.1007/978-3-540-74915-8_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00148462/file/tql-csl.pdf BibTex
titre
Polynomial Time Fragments of XPath with Variables
auteur
Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison
article
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2007, Beijing, China. pp.205-214
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00135678/file/0.pdf BibTex
titre
On the Normalization and Unique Normalization Properties of Term Rewrite Systems
auteur
Guillem Godoy, Sophie Tison
article
CADE, 2007, Germany. pp.247-262, ⟨10.1007/978-3-540-73595-3_17⟩
Accès au bibtex
BibTex

2006

Conference papers

titre
Composing Monadic Queries in Trees
auteur
Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison
article
PLAN-X, 2006, Unknown, Unknown Region. pp.61-70, ⟨10.1007/978-3-319-04939-7_13⟩
Accès au bibtex
BibTex

2005

Conference papers

titre
N-ary Queries by Tree Automata
auteur
Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison
article
10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. pp.217--231
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536522/file/n-ary-query.pdf BibTex
titre
Expressiveness of a spatial logic for trees
auteur
Iovka Boneva, Jean-Marc Talbot, Sophie Tison
article
20th Annual IEEE Symposium on Logic in Computer Science, 2005, Chicago, United States. pp.280--289
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536696/file/lics2005.pdf BibTex
titre
Monotone AC-Tree Automata
auteur
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
article
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2005, Montego Bay, Jamaica. pp.337-351
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536693/file/Monotone-AC-Tree-Automata.pdf BibTex

2004

Conference papers

titre
Extraction and Implication of Path Constraints
auteur
Yves André, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison
article
29th Symposium on Mathematical Foundations of Computer Science, 2004, Prague, Costa Rica. pp.863-875
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536715/file/Extraction-And-Implication-Of-Path-Constraints.pdf BibTex

2003

Conference papers

titre
Path Rewriting in Semistructured Data
auteur
Denis Debarbieux, Yves Roos, Sophie Tison, Yves André, Anne-Cécile Caron
article
4th International Conference on Combinatorics on Words, 2003, Turku, Finland. pp.358--369
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536731/file/Path-Rewriting-in-Semistructured-Data.pdf BibTex

2000

Journal articles

titre
On Rewrite Constraints and Context Unification
auteur
Joachim Niehren, Ralf Treinen, Sophie Tison
article
Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536802/file/rewrite-context.pdf BibTex

1999

Journal articles

titre
Set constraints and automata
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Information and Computation, Elsevier, 1999, 149 (1), pp.1--41
Accès au bibtex
BibTex

Conference papers

titre
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting
auteur
Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi
article
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.103--117, ⟨10.1007/3-540-48685-2_9⟩
Accès au bibtex
BibTex

1995

Journal articles

titre
Regular Tree Languages and Rewrite Systems
auteur
Rémi Gilleron, Sophie Tison
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1995, 24 (1/2), pp.157--176
Accès au bibtex
BibTex

1994

Conference papers

titre
Some new Decidability Results on Positive and Negative Set Constraints
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of First International Conference on Constraints in Computational Logics, CCL'94, 1994, Munich, Germany. pp.336--351
Accès au bibtex
BibTex

1993

Conference papers

titre
Solving Systems of Set Constraints using Tree Automata
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93, 1993, Würzburg, Germany. pp.505--514
Accès au bibtex
BibTex
titre
Solving Systems of Set Constraints with Negated Subset Relationships
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of the $34^th$ Symposium on Foundations of Computer Science, FOCS'93, 1993, Palo Alto California, United States. pp.372--380
Accès au bibtex
BibTex

1987

Reports

titre
Decidability of the confluence of ground term rewriting systems
auteur
Pierre Lescanne, Thierry Heuillard, Max Dauchet, Sophie Tison
article
[Research Report] RR-0675, INRIA. 1987
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00075878/file/RR-0675.pdf BibTex