Sophie Tison

Available identifiers

zbMath Open tison.sophieMaRDI QIDQ462480

List of research outcomes

Publication	Date of Publication	Type
Theoretical computer science: computability, decidability and logic	2024-09-11	Paper
Theoretical computer science: computational complexity	2024-09-11	Paper
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

This page was built for person: Sophie Tison