| 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
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Equality and disequality constraints on direct subterms in tree automata
STACS 92 | 2022-08-18 | Paper |
Some new decidability results on positive and negative set constraints
Constraints in Computational Logics | 2022-08-16 | Paper |
Static analysis of XML security views and query rewriting
Information and Computation | 2014-10-20 | Paper |
Queries on XML streams with bounded delay and concurrency
Information and Computation | 2011-07-27 | Paper |
Tree automata, (dis-)equality constraints and term rewriting. What's new?
Lecture Notes in Computer Science | 2011-06-17 | Paper |
Tree automata with global constraints
International Journal of Foundations of Computer Science | 2010-09-06 | Paper |
Earliest Query Answering for Deterministic Nested Word Automata
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Bounded Delay and Concurrency for Earliest Query Answering
Language and Automata Theory and Applications | 2009-04-02 | Paper |
On the Normalization and Unique Normalization Properties of Term Rewrite Systems
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Satisfiability of a Spatial Logic with Tree Variables
Computer Science Logic | 2009-03-05 | Paper |
Tree Automata with Global Constraints
Developments in Language Theory | 2008-10-30 | Paper |
Monotone AC-Tree Automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Classes of Tree Homomorphisms with Decidable Preservation of Regularity
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Path constraints in semistructured data
Theoretical Computer Science | 2007-10-18 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
scientific article; zbMATH DE number 2051179 (Why is no real title available?)
| 2004-03-07 | Paper |
On rewrite constraints and context unification
Information Processing Letters | 2002-07-25 | Paper |
Recognizable tree-languages and nonlinear morphisms
Theoretical Computer Science | 2002-07-15 | Paper |
Grid structures and undecidable constraint theories
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1615227 (Why is no real title available?)
| 2001-07-08 | Paper |
Generalized definite set constraints
Constraints | 2001-01-29 | Paper |
scientific article; zbMATH DE number 1330134 (Why is no real title available?)
| 2000-08-21 | Paper |
scientific article; zbMATH DE number 1405621 (Why is no real title available?)
| 2000-04-25 | Paper |
scientific article; zbMATH DE number 1420799 (Why is no real title available?)
| 2000-03-22 | Paper |
scientific article; zbMATH DE number 1390088 (Why is no real title available?)
| 2000-01-17 | Paper |
Set constraints and automata
Information and Computation | 2000-01-12 | Paper |
scientific article; zbMATH DE number 794243 (Why is no real title available?)
| 1995-09-10 | Paper |
scientific article; zbMATH DE number 512856 (Why is no real title available?)
| 1994-04-07 | Paper |
scientific article; zbMATH DE number 475424 (Why is no real title available?)
| 1994-01-13 | Paper |
scientific article; zbMATH DE number 17534 (Why is no real title available?)
| 1992-06-26 | Paper |
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
Information and Computation | 1990-01-01 | Paper |
scientific article; zbMATH DE number 3928342 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3883639 (Why is no real title available?)
| 1983-01-01 | Paper |
