Concepedia

Sophie Tison

ST

14

Publications

499

Citations

11

H-Index

1990

Active since

Affiliations

Laboratoire d'Informatique Fondamentale de Lille(Current)

Université de Lille

Centre National de la Recherche Scientifique

Université d'Artois

Institut national de recherche en sciences et technologies du numérique

Sophie Tison is an author at Laboratoire d'Informatique Fondamentale de Lille specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationLinguisticsSyntaxGrammarLanguageVerification

Publications per year

1990–2010

14

Publications

14

The theory of ground rewrite systems is decidable

Max Dauchet, Sophie Tison · 2002 · 153 citations

Engineering, Verification, Software Engineering +18

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Max Dauchet, Thierry Heuillard, Pierre Lescanne et al. · Information and Computation · 1990 · 79 citations

Syntax, Engineering, Automated Reasoning +12

REGULAR TREE LANGUAGES AND REWRITE SYSTEMS

Rémy Gilleron, Sophie Tison · Fundamenta Informaticae · 1995 · 77 citations

Tree Language, Syntax, Engineering +14

Solving systems of set constraints with negated subset relationships

Rémi Gilleron, Sophie Tison, Marc Tommasi · 2002 · 49 citations

Mathematical Programming, Tree Automata, Tree Automata Techniques +15

Set Constraints and Automata

Rémi Gilleron, Sophie Tison, Marc Tommasi · Information and Computation · 1999 · 23 citations

Logical Automaton, Engineering, Automated Reasoning +6

Rows per page

1–5 of 14