| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Queries on Xml streams with bounded delay and concurrency.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tison |
Tree Automata, (Dis-)Equality Constraints and Term Rewriting - What's New? |
TLCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tison |
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko |
View update translation for XML. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Tree Automata with Global Constraints. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Bounded Delay and Concurrency for Earliest Query Answering. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Earliest Query Answering for Deterministic Nested Word Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison |
XML Security Views Revisited. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Tree Automata with Global Constraints. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Sophie Tison |
Regular n-ary Queries in Trees and Variable Independence. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Sebastian Maneth, Sophie Tison |
Classes of Tree Homomorphisms with Decidable Preservation of Regularity. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison |
Complexity of Earliest Query Answering with Streaming Tree Automata. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Path constraints in semistructured data. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Sophie Tison |
On the Normalization and Unique Normalization Properties of Term Rewrite Systems. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Satisfiability of a Spatial Logic with Tree Variables. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Polynomial time fragments of XPath with variables. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
N-ary queries, XML, logic, XPath |
| 1 | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |
Composing Monadic Queries in Trees. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos |
Monotone AC-Tree Automata. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
equational tree automata, complexity, decidability, closure properties |
| 1 | Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison |
N-ary Queries by Tree Automata. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison |
N-Ary Queries by Tree Automata. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
XML, databases, information extraction, pattern, logic, types, automata |
| 1 | Iovka Boneva, Jean-Marc Talbot, Sophie Tison |
Expressiveness of a Spatial Logic for Trees. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Extraction and Implication of Path Constraints. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano |
BHDL: Circuit Design in B. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Dauchet, Sophie Tison, Marc Tommasi |
Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphisms. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tison (eds.) |
Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings |
RTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen |
Grid structures and undecidable constraint theories. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Sophie Tison, Ralf Treinen |
On rewrite constraints and context unification. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Talbot, Philippe Devienne, Sophie Tison |
Generalized Definite Set Constraints. |
Constraints |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Reichel, Sophie Tison (eds.) |
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings |
STACS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sophie Tison |
Tree Automata and Term Rewrite Systems. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Set Constraints and Automata. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Meinel, Sophie Tison (eds.) |
STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings |
STACS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Franck Seynhaeve, Sophie Tison, Marc Tommasi |
Homomorphisms and Concurrent Term Rewriting. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi |
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bogaert, Franck Seynhaeve, Sophie Tison |
The Recognizability Problem for Tree Automata with Comparisons between Brothers. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
Co-definite Set Constraints with Membership Expressions. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Talbot, Sophie Tison, Philippe Devienne |
Set-Based Analysis for Logic Programming and Tree Automata. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
Solving Classes of Set Constraints with Tree Automata. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Gilleron, Sophie Tison |
Regular Tree Languages and Rewrite Systems. |
Fundam. Inform. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tison (eds.) |
Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994, Proceedings |
CAAP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Some new Decidability Results on Positive and Negative Set Constraints. |
CCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Solving Systems of Set Constraints using Tree Automata. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Solving Systems of Set Constraints with Negated Subset Relationships |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
systems of set constraints, negated subset relationships, tree automata techniques, satisfiability, decision procedure, regular tree languages |
| 1 | Max Dauchet, Sophie Tison |
Structural complexity of classes of tree languages. |
Tree Automata and Languages |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bruno Bogaert, Sophie Tison |
Equality and Disequality Constraints on Direct Subterms in Tree Automata. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
Tree Automata, non linearity |
| 1 | Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison |
Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Dauchet, Sophie Tison |
The Theory of Ground Rewrite Systems is Decidable |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Coquidé, Max Dauchet, Sophie Tison |
About Connections Between Syntactical and Computational Complexity. |
FCT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Sophie Tison |
Fair Termination is Decidable for Ground Systems. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne |
Decidability of the Confluence of Ground Term Rewriting Systems |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Max Dauchet, Sophie Tison |
Decidability of confluence for ground term rewriting systems. |
FCT |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Tison, Max Dauchet, Gérard Comyn |
Metrical an Ordered Properties of Powerdomains. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")