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. 26th International Joint Conference on Artificial Intelligence, 2017, 〈https://ijcai-17.org〉
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
Manfred Schmidt-Schauss. 22nd International Conference on Rewriting Techniques and Applications (RTA'11), Apr 2011, France. Leibniz International Proceedings in Informatics (LIPIcs). 〈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. 2011
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. SV, 5699, pp.121-132, 2009, LNCS
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
Philippa Gardner, Floris Geerts. International Symposium on Database Programming Languages, Aug 2009, LYON, France. Springer, LNCS (5708), pp 52-67, 2009
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
Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martin-Vide. 3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. Springer, 5457, pp.350-361, 2009, Lecture Notes in Computer Science. 〈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, 2008
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, 2008
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
Springer. FOSSACS'08, Apr 2008, Hungary. 4962, pp.127-141, 2008, LNCS
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. 2008
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. Springer Berlin / Heidelberg, 4646, pp.130-145, 2007, Lecture Notes in Computer Science. 〈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, 2007
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. SPRINGER Berlin /heidelberg, 4603/2007, pp.247-262, 2007, LNCS. 〈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
Giuseppe Castagna and Mukund Raghavachari. PLAN-X, 2006, Unknown, Unknown or Invalid Region. BRICS, Department of Computer Science, University of Aarhus, pp.61-70, 2006, 〈10.1007/978-3-319-04939-7_13〉
Accès au bibtex
BibTex

2005

Conference papers

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. IEEE Computer Science Press, pp.280--289, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536696/file/lics2005.pdf BibTex
titre
N-ary Queries by Tree Automata
auteur
Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison
article
Gavin M. Bierman and Christoph Koch. 10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. Springer, 3774, pp.217--231, 2005, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536522/file/n-ary-query.pdf BibTex
titre
Monotone AC-Tree Automata
auteur
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
article
Geoff Sutcliffe and Andrei Voronkov. 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2005, Montego Bay, Jamaica. Springer, 3835, pp.337-351, 2005, Lecture Notes in Computer Science
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. Springer, 3153, pp.863-875, 2004, Lecture Notes in Computer Science
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
Tero Harju and Juhani Karhumäki. 4th International Conference on Combinatorics on Words, 2003, Turku, Finland. 27, pp.358--369, 2003
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

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. Springer Verlag, 845, pp.336--351, 1994, Lecture Notes in Computer Science
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. Springer Verlag, 665, pp.505--514, 1993, Lecture Notes in Computer Science
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. IEEE, pp.372--380, 1993
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