| Publication | Date of Publication | Type |
|---|
| On the Boolean Closure of Deterministic Top-Down Tree Automata | 2024-02-16 | Paper |
| On the Ehrenfeucht-Fraïssé game in theoretical computer science | 2022-11-02 | Paper |
| Solving Infinite Games in the Baire Space | 2022-10-07 | Paper |
| Automata on finite trees | 2022-02-04 | Paper |
| Mathematical Logic | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965866 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964724 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967169 | 2019-07-03 | Paper |
| Einführung in die mathematische Logik | 2018-10-01 | Paper |
| Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change | 2018-05-15 | Paper |
| Algorithms: From Al-Khwarizmi to Turing and Beyond | 2018-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599512 | 2018-01-03 | Paper |
| On the synthesis of strategies in infinite games | 2017-12-04 | Paper |
| $$\mathbb {N}$$ -Memory Automata over the Alphabet $$\mathbb {N}$$ | 2017-06-01 | Paper |
| Optimal strategy synthesis for request-response games | 2016-01-22 | Paper |
| Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change | 2015-11-10 | Paper |
| Composition Over the Natural Number Ordering with an Extra Binary Relation | 2015-09-22 | Paper |
| Connectivity games over dynamic networks | 2014-01-10 | Paper |
| A Game Theoretic Approach to the Analysis of Dynamic Networks | 2013-12-06 | Paper |
| Finite Automata and the Analysis of Infinite Transition Systems | 2013-02-26 | Paper |
| LANGUAGES VERSUS ω-LANGUAGES IN REGULAR INFINITE GAMES | 2013-01-18 | Paper |
| Degrees of Lookahead in Regular Infinite Games | 2012-10-22 | Paper |
| Languages vs. ω-Languages in Regular Infinite Games | 2011-07-29 | Paper |
| Compositional Failure Detection in Structured Transition Systems | 2011-07-29 | Paper |
| Infinite Games and Uniformization | 2010-12-17 | Paper |
| A Game-Theoretic Approach to Routing under Adversarial Conditions | 2010-10-27 | Paper |
| On Monadic Theories of Monadic Predicates | 2010-09-03 | Paper |
| Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications | 2010-05-07 | Paper |
| Degrees of Lookahead in Regular Infinite Games | 2010-04-27 | Paper |
| COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS | 2009-11-19 | Paper |
| Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies | 2009-10-20 | Paper |
| The Reachability Problem over Infinite Graphs | 2009-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190790 | 2009-07-27 | Paper |
| Facets of Synthesis: Revisiting Church’s Problem | 2009-03-31 | Paper |
| Decidable Theories of the Ordering of Natural Numbers with Unary Predicates | 2009-03-12 | Paper |
| Logical Refinements of Church’s Problem | 2009-03-05 | Paper |
| Optimal strategy synthesis for request-response games | 2008-11-20 | Paper |
| Model Transformations in Decidability Proofs for Monadic Theories | 2008-11-20 | Paper |
| Model Checking Synchronized Products of Infinite Transition Systems | 2008-04-01 | Paper |
| Church’s Problem and a Tour through Automata Theory | 2008-03-25 | Paper |
| Optimizing Winning Strategies in Regular Infinite Games | 2008-03-07 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422334 | 2007-10-18 | Paper |
| On Intersection Problems for Polynomially Generated Sets | 2007-09-11 | Paper |
| Observations on determinization of Büchi automata | 2007-01-09 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| Fundamentals of Computation Theory | 2006-10-20 | Paper |
| The monadic quantifier alternation hierarchy over grids and graphs | 2006-10-10 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485993 | 2006-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737901 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470500 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412122 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411832 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804886 | 2003-05-01 | Paper |
| Uniform and nonuniform recognizability. | 2003-01-22 | Paper |
| The monadic theory of morphic infinite words and generalizations | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536446 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536363 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941152 | 2002-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942615 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362730 | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385530 | 1998-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353626 | 1998-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3123635 | 1997-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894127 | 1996-10-01 | Paper |
| Monadic second-order logic over rectangular pictures and recognizability by tiling systems | 1996-07-03 | Paper |
| Regular languages defined with generalized quantifiers | 1995-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4298571 | 1994-07-31 | Paper |
| Nondeterminism versus determinism of finite automata over directed acyclic graphs | 1994-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284261 | 1994-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036584 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029611 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023926 | 1993-01-23 | Paper |
| Infinite trees and automaton-definable relations over \(\omega\)-words | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3356287 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733423 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3806849 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768883 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3785956 | 1987-01-01 | Paper |
| On frontiers of regular trees | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220545 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221429 | 1984-01-01 | Paper |
| An application of the Ehrenfeucht-Fraisse game in formal language theory | 1984-01-01 | Paper |
| Classifying regular events in symbolic logic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967525 | 1982-01-01 | Paper |
| Remark on the star-height-problem | 1981-01-01 | Paper |
| A combinatorial approach to the theory of ω-automata | 1981-01-01 | Paper |
| On the bounded monadic theory of well-ordered structures | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3887597 | 1980-01-01 | Paper |
| Star-free regular sets of ω-sequences | 1979-01-01 | Paper |
| The theory of successor with an extra predicate | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182465 | 1978-01-01 | Paper |
| A note on undecidable extensions of monadic second order successor arithmetic | 1975-01-01 | Paper |
