| Publication | Date of Publication | Type |
|---|
The expansion problem for infinite trees
Logical Methods in Computer Science | 2026-03-23 | Paper |
The Power-Set Construction for Tree Algebras
Logical Methods in Computer Science | 2024-01-16 | Paper |
ω-Forest Algebras and Temporal Logics.
(available as arXiv preprint) | 2023-08-08 | Paper |
| Bisimulation Invariant Monadic-Second Order Logic in the Finite | 2021-07-28 | Paper |
scientific article; zbMATH DE number 7350772 (Why is no real title available?)
(available as arXiv preprint) | 2021-05-25 | Paper |
| scientific article; zbMATH DE number 7350772 (Why is no real title available?) | 2021-05-25 | Paper |
Bisimulation invariant monadic-second order logic in the finite
Theoretical Computer Science | 2020-05-23 | Paper |
Bisimulation invariant monadic-second order logic in the finite
Theoretical Computer Science | 2020-05-23 | Paper |
scientific article; zbMATH DE number 7168152 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-17 | Paper |
Two-way cost automata and cost logics over infinite trees
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| On a fragment of AMSO and tiling systems | 2018-01-24 | Paper |
A syntactic congruence for languages of birooted trees
Semigroup Forum | 2016-02-01 | Paper |
Asymptotic Monadic Second-Order Logic
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Decidability results for the boundedness problem
Logical Methods in Computer Science | 2014-09-05 | Paper |
Monadic second-order definable graph orderings
Logical Methods in Computer Science | 2014-01-22 | Paper |
Book review of: Bruno Courcelle and Joost Engelfriet, Graph structure and monadic second-order logic
The Bulletin of Symbolic Logic | 2014-01-17 | Paper |
An algebraic proof of Rabin's tree theorem
Theoretical Computer Science | 2013-06-06 | Paper |
Erratum to: ``On the structure of graphs in the Caucal hierarchy
Theoretical Computer Science | 2013-03-04 | Paper |
Locality and modular Ehrenfeucht-Fraïssé games
Journal of Applied Logic | 2012-05-23 | Paper |
Simple monadic theories and partition width
Mathematical Logic Quarterly | 2011-09-27 | Paper |
Recognisability for algebras of infinite trees
Theoretical Computer Science | 2011-07-14 | Paper |
| Logical theories and compatible operations | 2011-03-30 | Paper |
Simple monadic theories and indiscernibles
Mathematical Logic Quarterly | 2011-02-22 | Paper |
On the monadic second-order transduction hierarchy
Logical Methods in Computer Science | 2010-07-27 | Paper |
Guarded second-order logic, spanning trees, and network flows
Logical Methods in Computer Science | 2010-03-15 | Paper |
Boundedness of Monadic Second-Order Formulae over Finite Words
Automata, Languages and Programming | 2009-07-14 | Paper |
On the structure of graphs in the Caucal hierarchy
Theoretical Computer Science | 2008-06-24 | Paper |
A model-theoretic characterisation of clique width
Annals of Pure and Applied Logic | 2006-09-14 | Paper |
Recognizability, hypergraph operations, and logical types
Information and Computation | 2006-07-12 | Paper |
An Extension of Muchnik's Theorem
Journal Of Logic And Computation | 2005-04-29 | Paper |
Finite presentations of infinite structures: Automata and interpretations
Theory of Computing Systems | 2005-02-24 | Paper |
Axiomatising tree-interpretable structures
Theory of Computing Systems | 2005-01-25 | Paper |
| scientific article; zbMATH DE number 2086419 (Why is no real title available?) | 2004-08-11 | Paper |
The Monadic Theory of Tree-like Structures
Lecture Notes in Computer Science | 2003-07-16 | Paper |
Automata for Guarded Fixed Point Logics
Lecture Notes in Computer Science | 2003-07-16 | Paper |
| scientific article; zbMATH DE number 1670480 (Why is no real title available?) | 2001-11-11 | Paper |
