Sophie Tison

Available identifiers

zbMath Open tison.sophieMaRDI QIDQ462480

List of research outcomes

Publication	Date of Publication	Type
Fair termination is decidable for ground systems	2022-12-09	Paper
Equality and disequality constraints on direct subterms in tree automata	2022-08-18	Paper
Some new decidability results on positive and negative set constraints	2022-08-16	Paper
Static analysis of XML security views and query rewriting	2014-10-20	Paper
Queries on XML streams with bounded delay and concurrency	2011-07-27	Paper
Tree Automata, (Dis-)Equality Constraints and Term Rewriting	2011-06-17	Paper
TREE AUTOMATA WITH GLOBAL CONSTRAINTS	2010-09-06	Paper
Earliest Query Answering for Deterministic Nested Word Automata	2009-10-20	Paper
Bounded Delay and Concurrency for Earliest Query Answering	2009-04-02	Paper
On the Normalization and Unique Normalization Properties of Term Rewrite Systems	2009-03-06	Paper
Satisfiability of a Spatial Logic with Tree Variables	2009-03-05	Paper
Tree Automata with Global Constraints	2008-10-30	Paper
Monotone AC-Tree Automata	2008-05-27	Paper
Classes of Tree Homomorphisms with Decidable Preservation of Regularity	2008-04-11	Paper
Path constraints in semistructured data	2007-10-18	Paper
Database Programming Languages	2006-10-20	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4453471	2004-03-07	Paper
On rewrite constraints and context unification	2002-07-25	Paper
Recognizable tree-languages and nonlinear morphisms	2002-07-15	Paper
Grid structures and undecidable constraint theories	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2723888	2001-07-08	Paper
Generalized definite set constraints	2001-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4260705	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4938600	2000-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4944863	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4934355	2000-01-17	Paper
Set constraints and automata	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4847003	1995-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4281553	1994-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4273671	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3974858	1992-06-26	Paper
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3702507	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217633	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sophie Tison