2020
Reports
- 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
- [Research Report] LIRMM (UM, CNRS). 2020
- Accès au texte intégral et bibtex
-
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 Gallois
- article
- IJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
- Accès au texte intégral et 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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
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
-
2002
Journal articles
- titre
- Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphisms
- auteur
- Max Dauchet, Sophie Tison, Marc Tommasi
- article
- Theoretical Computer Science, Elsevier, 2002, 281 (1-2), pp.219-233. ⟨10.1016/S0304-3975(02)00014-2⟩
- Accès au bibtex
-
2001
Journal articles
- titre
- Grid structures and undecidable constraint theories
- auteur
- Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
- article
- Theoretical Computer Science, Elsevier, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
- Accès au bibtex
-
2000
Journal articles
- titre
- Generalized Definite Set Constraints
- auteur
- Jean-Marc Talbot, Philippe Devienne, Sophie Tison
- article
- Constraints, Springer Verlag, 2000, 5 (1/2), pp.161-202. ⟨10.1023/A:1009826603139⟩
- Accès au bibtex
-
- 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
-
Conference papers
- titre
- Tree Automata and Term Rewrite Systems
- auteur
- Sophie Tison
- article
- Rewriting Techniques and Applications, 11th International Conference, RTA 2000, 2000, Norwich, United Kingdom. pp.27-30
- Accès au 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
-
Conference papers
- titre
- Homomorphisms and concurrent term rewriting
- auteur
- Franck Seynhaeve, Sophie Tison, Marc Tommasi
- article
- FCT 1999 - International Symposium on Fundamentals of Computation Theory, Aug 1999, Iasi, Romania. pp.475-487, ⟨10.1007/3-540-48321-7_40⟩
- Accès au bibtex
-
- 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
-
- titre
- The Recognizability Problem for Tree Automata with Comparisons between Brothers
- auteur
- Bruno Bogaert, Franck Seynhaeve, Sophie Tison
- article
- Foundations of Software Science and Computation Structure, FoSSaCS'99,, 1999, Amsterdam, Netherlands. pp.150-164
- Accès au 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
-
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
-
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
-
- 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
-
1990
Journal articles
- titre
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
- auteur
- Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison
- article
- Information and Computation, Elsevier, 1990, 88 (2), pp.187-201. ⟨10.1016/0890-5401(90)90015-A⟩
- Accès au bibtex
-
1989
Conference papers
- titre
- Fair termination is decidable for ground systems
- auteur
- Sophie Tison
- article
- Rewriting Techniques and Applications, RTA-89,, 1989, Chapel Hill, United States. pp.462-476
- Accès au bibtex
-
- titre
- About connections between syntactical and computational complexity
- auteur
- Jean-Luc Coquidé, Max Dauchet, Sophie Tison
- article
- Fundamentals of Computation Theory, FCT'89, 1989, Szeged, Hungary. pp.105-115
- Accès au bibtex
-
1987
Conference papers
- titre
- Decidability of the Confluence of Ground Term Rewriting Systems.
- auteur
- Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne
- article
- LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States
- Accès au bibtex
-
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
-