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

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

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

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

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. SV, 5699, pp.121-132, 2009, LNCS

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

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

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

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

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

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

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

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. 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

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

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

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 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

2005

Conference papers

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

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

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

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

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

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

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

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, 1999, 〈10.1007/3-540-48685-2_9〉

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. Springer Verlag, 845, pp.336--351, 1994, Lecture Notes in Computer Science

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. Springer Verlag, 665, pp.505--514, 1993, Lecture Notes in Computer Science

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. IEEE, pp.372--380, 1993

Accès au 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