Follow
Sophie Tison
Sophie Tison
University of Lille
Verified email at univ-lille.fr
Title
Cited by
Cited by
Year
Tree automata techniques and applications
H Comon, M Dauchet, R Gilleron, F Jacquemard, D Lugiez, C Löding, ...
16572008
Tree automata techniques and applications (2007)
H Comon, M Dauchet, R Gilleron, F Jacquemard, D Lugiez, S Tison, ...
4212007
The theory of ground rewrite systems is decidable
M Dauchet, S Tison
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
2471990
Equality and disequality constraints on direct subterms in tree automata
B Bogaert, S Tison
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science …, 1992
1701992
Regular tree languages and rewrite systems
R Gilleron, S Tison
Fundamenta informaticae 24 (1-2), 157-175, 1995
1241995
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
M Dauchet, T Heuillard, P Lescanne, S Tison
Information and Computation 88 (2), 187-201, 1990
1171990
Solving systems of set constraints with negated subset relationships
R Gilleron, S Tison, M Tommasi
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, 372-380, 1993
831993
Decidability of confluence for ground term rewriting systems
M Dauchet, S Tison
International Conference on Fundamentals of Computation Theory, 80-89, 1985
821985
Solving systems of set constraints using tree automata
R Gilleron, S Tison, M Tommasi
Annual Symposium on Theoretical Aspects of Computer Science, 505-514, 1993
741993
N-ary queries by tree automata
J Niehren, L Planque, JM Talbot, S Tison
Database Programming Languages: 10th International Workshop, DBPL 2005 …, 2005
452005
Solving classes of set constraints with tree automata
P Devienne, JM Talbot, S Tison
International Conference on Principles and Practice of Constraint …, 1997
451997
Tree automata with global constraints
E Filiot, JM Talbot, S Tison
International Conference on Developments in Language Theory, 314-326, 2008
402008
Set constraints and automata
R Gilleron, S Tison, M Tommasi
Information and Computation 149 (1), 1-41, 1999
391999
Earliest query answering for deterministic nested word automata
O Gauwin, J Niehren, S Tison
Fundamentals of Computation Theory: 17th International Symposium, FCT 2009 …, 2009
322009
Set-based analysis for logic programming and tree automata
JM Talbot, S Tison, P Devienne
Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997
261997
Satisfiability of a spatial logic with tree variables
E Filiot, JM Talbot, S Tison
International Workshop on Computer Science Logic, 130-145, 2007
252007
Fair termination is decidable for ground systems
S Tison
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 …, 1989
241989
Tree automata with global constraints
E Filiot, JM Talbot, S Tison
International Journal of Foundations of Computer Science 21 (04), 571-596, 2010
232010
BHDL: Circuit design in B
A Aljer, P Devienne, S Tison, JL Boulanger, G Mariano
Third International Conference on Application of Concurrency to System …, 2003
232003
Some new decidability results on positive and negative set constraints
R Gilleron, S Tison, M Tommasi
International Conference on Constraints in Computational Logics, 336-351, 1994
231994
The system can't perform the operation now. Try again later.
Articles 1–20