| Publication | Date of Publication | Type |
|---|
Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations
Information Processing Letters | 2024-09-11 | Paper |
| On theorem-proving in Horn theories with built-in algebras | 2024-06-21 | Paper |
scientific article; zbMATH DE number 7830362 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-10 | Paper |
| Determinisation of finitely-ambiguous copyless cost register automata | 2022-07-21 | Paper |
| Expressiveness of visibly pushdown transducers | 2021-06-17 | Paper |
Expressiveness of visibly pushdown transducers
(available as arXiv preprint) | 2021-06-17 | Paper |
| Two-way Parikh automata with a visibly pushdown stack | 2020-01-28 | Paper |
Visibly pushdown transducers
Journal of Computer and System Sciences | 2018-09-07 | Paper |
Decision problems of tree transducers with origin
Information and Computation | 2018-06-14 | Paper |
A generalised twinning property for minimisation of cost register automata
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Two-way visibly pushdown automata and transducers
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Visibly pushdown transducers with well-nested outputs
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
Decision problems of tree transducers with origin
Automata, Languages, and Programming | 2015-11-04 | Paper |
Trimming visibly pushdown automata
Theoretical Computer Science | 2015-05-18 | Paper |
Paths vs. trees in set-based program analysis
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Visibly pushdown transducers with well-nested outputs
Developments in Language Theory | 2014-10-14 | Paper |
Trimming visibly pushdown automata
Implementation and Application of Automata | 2013-08-07 | Paper |
Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness
Developments in Language Theory | 2012-11-02 | Paper |
Tree automata with global constraints
International Journal of Foundations of Computer Science | 2010-09-06 | Paper |
Properties of visibly pushdown transducers
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
A sound analysis for secure information flow using abstract memory graphs
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Nested Sibling Tree Automata
RAIRO - Theoretical Informatics and Applications | 2009-05-06 | Paper |
Nested Sibling Tree Automata
RAIRO - Theoretical Informatics and Applications | 2009-05-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 |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Term Rewriting and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2163033 (Why is no real title available?) | 2005-04-29 | Paper |
When ambients cannot be opened
Theoretical Computer Science | 2005-04-06 | Paper |
Model checking mobile ambients
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2090081 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087553 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1956512 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1841829 (Why is no real title available?) | 2002-12-04 | Paper |
Lagrangians of Hypergraphs
Combinatorics, Probability and Computing | 2002-11-19 | Paper |
The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard
Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1696780 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1701350 (Why is no real title available?) | 2002-02-05 | Paper |
Generalized definite set constraints
Constraints | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1420799 (Why is no real title available?) | 2000-03-22 | Paper |
