| Publication | Date of Publication | Type |
|---|
| Zero-one laws and almost sure valuations of first-order logic in semiring semantics | 2024-12-06 | Paper |
| Semiring provenance for Büchi games: strategy analysis with absorptive polynomials | 2024-12-06 | Paper |
| Locality theorems in semiring semantics | 2024-12-03 | Paper |
| Semiring provenance for Büchi games: strategy analysis with absorptive polynomials | 2024-06-27 | Paper |
| Metafinite model theory | 2023-12-12 | Paper |
| Ehrenfeucht-Fra\"iss\'e Games in Semiring Semantics | 2023-08-09 | Paper |
| Limitations of the invertible-map equivalences | 2023-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874208 | 2023-02-07 | Paper |
| Undecidability results on two-variable logics | 2022-11-09 | Paper |
| Convergence and Nonconvergence Laws for Random Expansions of Product Structures | 2022-11-09 | Paper |
| Separation logic and logics with team semantics | 2022-09-16 | Paper |
| Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence | 2022-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091274 | 2022-07-21 | Paper |
| Choiceless Logarithmic Space | 2022-07-21 | Paper |
| Dependency Concepts up to Equivalence. | 2022-05-28 | Paper |
| Logics with Multiteam Semantics | 2022-02-24 | Paper |
| Semiring Provenance for Guarded Logics | 2021-12-10 | Paper |
| Logics of dependence and independence: The local variants | 2021-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986515 | 2021-04-27 | Paper |
| Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence | 2021-02-22 | Paper |
| Logics of Dependence and Independence: The Local Variants | 2021-02-20 | Paper |
| Elementary equivalence versus isomorphism in semiring semantics | 2021-02-10 | Paper |
| Automatic Structures | 2021-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144628 | 2021-01-19 | Paper |
| Provenance analysis for logic and games | 2020-11-10 | Paper |
| Provenance analysis: a perspective for description logics? | 2020-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111195 | 2020-05-26 | Paper |
| Advice Automatic Structures and Uniformly Automatic Classes | 2020-05-26 | Paper |
| Games for Inclusion Logic and Fixed-Point Logic | 2020-02-04 | Paper |
| Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic | 2019-10-17 | Paper |
| Tailoring recursion for complexity | 2019-04-29 | Paper |
| RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC! | 2019-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4625692 | 2019-02-25 | Paper |
| Approximations of Isomorphism and Logics with Linear-Algebraic Operators | 2019-02-18 | Paper |
| Defining Winning Strategies in Fixed-Point Logic | 2018-04-23 | Paper |
| Characterising Choiceless Polynomial Time with First-Order Interpretations | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636281 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599509 | 2018-01-03 | Paper |
| Rank logic is dead, long live rank logic! | 2017-08-31 | Paper |
| Counting in Team Semantics | 2017-07-19 | Paper |
| Inflationary fixed points in modal logic | 2017-07-12 | Paper |
| Datalog LITE | 2017-06-13 | Paper |
| Back and forth between guarded and modal logics | 2017-06-13 | Paper |
| Is Polynomial Time Choiceless? | 2015-09-22 | Paper |
| The Freedoms of (Guarded) Bisimulation | 2015-05-11 | Paper |
| Model-theoretic properties of \(\omega\)-automatic structures | 2015-02-05 | Paper |
| The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs | 2014-12-02 | Paper |
| Choiceless Polynomial Time on Structures with Small Abelian Colour Classes | 2014-10-14 | Paper |
| Model-checking games for logics of imperfect information | 2014-01-10 | Paper |
| Definability of linear equation systems over groups and rings | 2013-11-28 | Paper |
| Dependence and independence | 2013-06-13 | Paper |
| Model Checking Games | 2013-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910728 | 2013-03-19 | Paper |
| Entanglement and the complexity of directed graphs | 2013-01-07 | Paper |
| Definability of linear equation systems over groups and rings | 2012-11-22 | Paper |
| Banach-Mazur Games with Simple Winning Strategies. | 2012-11-22 | Paper |
| Banach-Mazur Games on Graphs | 2012-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904795 | 2012-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172381 | 2011-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172530 | 2011-10-05 | Paper |
| Games and Model Checking for Guarded Logics | 2011-05-06 | Paper |
| Model checking games for the quantitative \(\mu \)-calculus | 2010-10-06 | Paper |
| Definability in Games | 2010-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574467 | 2010-07-09 | Paper |
| Properties of Almost All Graphs and Generalized Quantifiers | 2010-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408141 | 2010-02-24 | Paper |
| Directed Graphs of Entanglement Two | 2009-10-20 | Paper |
| The Descriptive Complexity of Parity Games | 2008-11-20 | Paper |
| Positional Determinacy of Games with Infinitely Many Priorities | 2007-10-11 | Paper |
| STACS 2004 | 2007-10-01 | Paper |
| The variable hierarchy of the \(\mu\)-calculus is strict | 2007-08-23 | Paper |
| Backtracking games and inflationary fixed points | 2006-03-20 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Finite presentations of infinite structures: Automata and interpretations | 2005-02-24 | Paper |
| Fixed-point logics and solitaire games | 2005-02-24 | Paper |
| Finite model theory and its applications. | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413688 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411834 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790403 | 2003-01-28 | Paper |
| Guarded fixed point logics and the monadic theory of countable trees. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783314 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767034 | 2002-06-30 | Paper |
| The classical decision problem. | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734948 | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234078 | 2001-08-27 | Paper |
| On the Restraining Power of Guards | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525282 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493909 | 2001-01-11 | Paper |
| On Preservation Theorems for Two-Variable Logic | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945218 | 2000-03-23 | Paper |
| On logics with two variables | 2000-01-12 | Paper |
| Undecidability results on two-variable logics | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268486 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266483 | 1999-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263155 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230339 | 1999-04-22 | Paper |
| 0-1 laws for recursive structures | 1998-09-10 | Paper |
| Metafinite model theory | 1998-05-04 | Paper |
| On the Decision Problem for Two-Variable First-Order Logic | 1997-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4717945 | 1997-05-12 | Paper |
| Logical definability of counting functions | 1997-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691140 | 1997-01-14 | Paper |
| Hierarchies in transitive closure logic, stratified Datalog and infinitary logic | 1996-10-13 | Paper |
| Tailoring recursion for complexity | 1995-12-19 | Paper |
| On the power of deterministic transitive closures | 1995-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283240 | 1994-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283229 | 1994-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202939 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035693 | 1993-05-18 | Paper |
| Capturing complexity classes by fragments of second-order logic | 1992-09-27 | Paper |
| Simple sentences that are hard to decide | 1991-01-01 | Paper |
| Satisfiability of formulae with one \(\forall\) is decidable in exponential time | 1990-01-01 | Paper |
| Simple interpretations among complicated theories | 1990-01-01 | Paper |
| ON THE NOTION OF LINEAR TIME COMPUTABILITY | 1990-01-01 | Paper |
| Domino Games and Complexity | 1990-01-01 | Paper |
| Dominoes and the complexity of subclasses of logical theories | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348901 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496328 | 1989-01-01 | Paper |
| Subclasses of Presburger arithmetic and the polynomial-time hierarchy | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795666 | 1988-01-01 | Paper |
