| Publication | Date of Publication | Type |
|---|
| MSO+\( \nabla \) is undecidable | 2024-12-19 | Paper |
| Transducers of polynomial growth | 2024-12-06 | Paper |
| Algebraic recognition of regular functions | 2024-11-14 | Paper |
| Monadic monadic second order logic | 2024-10-01 | Paper |
| Orbit-finite-dimensional vector spaces and weighted register automata | 2024-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091268 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089180 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028484 | 2022-02-09 | Paper |
| Algebra for trees | 2022-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856407 | 2021-03-26 | Paper |
| Extensions of ω-Regular Languages | 2021-01-21 | Paper |
| First-order tree-to-tree functions | 2021-01-21 | Paper |
| On computability and tractability for infinite sets | 2021-01-20 | Paper |
| Regular and First-Order List Functions | 2021-01-20 | Paper |
| Definable decompositions for graphs of bounded linear cliquewidth | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111332 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111446 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111438 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216326 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216303 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207048 | 2020-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232909 | 2019-09-13 | Paper |
| Definability equals recognizability for graphs of bounded treewidth | 2018-04-23 | Paper |
| Decomposition theorems and model-checking for the modal μ -calculus | 2018-04-23 | Paper |
| Star Height via Games | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636613 | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4601873 | 2018-01-24 | Paper |
| It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton | 2018-01-19 | Paper |
| Thin MSO with a Probabilistic Path Quantifier. | 2017-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596779 | 2017-12-11 | Paper |
| Turing Machines with Atoms | 2017-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957916 | 2017-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957477 | 2017-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957484 | 2017-01-26 | Paper |
| Rigidity is undecidable | 2016-07-26 | Paper |
| Regular languages of thin trees | 2016-06-03 | Paper |
| Two-variable logic on data trees and XML reasoning | 2015-11-11 | Paper |
| Recognisable Languages over Monads | 2015-11-10 | Paper |
| Containment of Monadic Datalog Programs via Bounded Clique-Width | 2015-11-04 | Paper |
| Two-variable logic on data words | 2015-09-17 | Paper |
| Towards nominal computation | 2015-09-11 | Paper |
| Automata theory in nominal sets | 2014-09-05 | Paper |
| Transducers with Origin Information | 2014-07-01 | Paper |
| Weak MSO+U with Path Quantifiers over Infinite Trees | 2014-07-01 | Paper |
| On the Decidability of MSO+U on Infinite Trees | 2014-07-01 | Paper |
| XPath evaluation in linear time | 2014-02-17 | Paper |
| Solutions in XML data exchange | 2014-01-20 | Paper |
| Nominal monoids | 2013-10-21 | Paper |
| Modelling Infinite Structures with Atoms | 2013-09-17 | Paper |
| Fraenkel-Mostowski Sets with Non-homogeneous Atoms | 2013-01-07 | Paper |
| Ramsey's theorem for colors from a metric space | 2012-11-08 | Paper |
| Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets | 2012-11-01 | Paper |
| Toward Model Theory with Data Values | 2012-11-01 | Paper |
| A Machine-Independent Characterization of Timed Languages | 2012-11-01 | Paper |
| Deterministic automata and extensions of weak MSO | 2012-10-24 | Paper |
| Piecewise testable tree languages | 2012-10-22 | Paper |
| Wreath products of forest algebras, with applications to tree logics | 2012-09-25 | Paper |
| Weak \(\text{MSO}+U\) over infinite trees | 2012-08-23 | Paper |
| Finite satisfiability for guarded fixpoint logic | 2012-07-20 | Paper |
| Weak MSO with the Unbounding Quantifier | 2012-04-24 | Paper |
| An extension of data automata that captures XPath | 2012-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3113676 | 2012-01-23 | Paper |
| Beyond $\omega$-Regular Languages | 2012-01-23 | Paper |
| Weak MSO with the unbounding quantifier | 2011-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086921 | 2011-03-30 | Paper |
| Tree Languages Defined in First-Order Logic with One Quantifier Alternation | 2010-12-20 | Paper |
| Efficient Evaluation of Nondeterministic Automata Using Factorization Forests | 2010-09-07 | Paper |
| Tree-walking automata do not recognize all regular languages | 2010-08-16 | Paper |
| On the Borel Complexity of MSO Definable Sets of Branches | 2010-05-25 | Paper |
| A new algorithm for testing if a regular language is locally threshold testable | 2010-03-24 | Paper |
| Algebra for Infinite Forests with an Application to the Temporal Logic EF | 2009-10-22 | Paper |
| Two-Way Unary Temporal Logic over Trees | 2009-08-20 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Factorization Forests | 2009-07-07 | Paper |
| Tree-Walking Automata Do Not Recognize All Regular Languages | 2009-04-30 | Paper |
| Expressive Power of Pebble Automata | 2009-03-12 | Paper |
| Forest Expressions | 2009-03-05 | Paper |
| Tree-Walking Automata | 2008-11-20 | Paper |
| Shuffle Expressions and Words with Nested Data | 2008-09-17 | Paper |
| Tree Languages Defined in First-Order Logic with One Quantifier Alternation | 2008-08-19 | Paper |
| The Common Fragment of ACTL and LTL | 2008-04-11 | Paper |
| Bounded Depth Data Trees | 2007-11-28 | Paper |
| Reachability in Unions of Commutative Rewriting Systems Is Decidable | 2007-09-03 | Paper |
| Characterizing EF and EX tree logics | 2006-09-13 | Paper |
| Tree-walking automata cannot be determinized | 2006-03-20 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737212 | 2004-08-11 | Paper |
| The finite graph problem for two-way alternating automata. | 2003-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769426 | 2002-02-05 | Paper |
| Function spaces for orbit-finite sets | N/A | Paper |
