| Publication | Date of Publication | Type |
|---|
| Relating description complexity to entropy | 2025-01-27 | Paper |
| The optimal way to play the most difficult repeated coordination games | 2024-12-06 | Paper |
| Descriptive complexity for distributed computing with circuits | 2024-12-03 | Paper |
| Relating description complexity to entropy | 2024-10-08 | Paper |
| Complexity classifications via algebraic logic | 2024-09-25 | Paper |
| Short Boolean formulas as explanations in practice | 2024-05-29 | Paper |
| The optimal way to play the most difficult repeated two-player coordination games | 2023-12-11 | Paper |
| CTL with finitely bounded semantics | 2023-02-03 | Paper |
| A monotone connection between model class size and description length | 2023-01-31 | Paper |
| Bounded game-theoretic semantics for modal mu-calculus | 2022-12-08 | Paper |
| Relating description complexity to entropy | 2022-09-26 | Paper |
| One-dimensional fragment over words and trees | 2022-09-22 | Paper |
| First-order logic with self-reference | 2022-07-15 | Paper |
| The power of clockings | 2022-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021004 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384173 | 2021-12-14 | Paper |
| Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. | 2021-07-06 | Paper |
| Some Turing-Complete Extensions of First-Order Logic | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995366 | 2021-06-24 | Paper |
| Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking | 2021-02-08 | Paper |
| Weighted model counting beyond two-variable logic | 2021-01-20 | Paper |
| Rational coordination with no communication or conventions | 2020-12-15 | Paper |
| Game-theoretic semantics and partial specifications | 2020-10-08 | Paper |
| Emptiness problems for distributed automata | 2020-05-26 | Paper |
| Model Checking and Validity in Propositional and Modal Inclusion Logics | 2020-05-26 | Paper |
| One-Dimensional Logic over Trees | 2020-05-26 | Paper |
| Algebraic classifications for fragments of first-order logic and beyond | 2020-05-03 | Paper |
| Optimal protocols for the most difficult repeated coordination games | 2020-04-15 | Paper |
| Model checking and validity in propositional and modal inclusion logics | 2020-02-03 | Paper |
| Satisfiability of Modal Inclusion Logic | 2019-11-22 | Paper |
| Alternating-time temporal logic ATL with finitely bounded semantics | 2019-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5377468 | 2019-05-24 | Paper |
| Uniform One-Dimensional Fragment over Ordered Structures | 2018-12-20 | Paper |
| LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE | 2018-10-25 | Paper |
| Game-Theoretic Semantics for Alternating-Time Temporal Logic | 2018-10-24 | Paper |
| Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). | 2018-07-18 | Paper |
| One-dimensional fragment of first-order logic | 2018-04-23 | Paper |
| Decidability of predicate logics with team semantics | 2018-03-21 | Paper |
| Rational coordination with no communication or conventions | 2017-11-22 | Paper |
| Uniform One-Dimensional Fragments with One Equivalence Relation | 2017-08-31 | Paper |
| Bounded game-theoretic semantics for modal mu-calculus | 2017-06-02 | Paper |
| First-order logic with incomplete information | 2017-03-09 | Paper |
| Modal Logic and Distributed Message Passing Automata | 2017-02-02 | Paper |
| Logics for Propositional Determinacy and Independence | 2016-09-23 | Paper |
| Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations | 2016-08-05 | Paper |
| A double team semantics for generalized quantifiers | 2016-07-05 | Paper |
| On the uniform one-dimensional fragment | 2016-04-06 | Paper |
| Existential second-order logic and modal logic with quantified accessibility relations | 2016-03-10 | Paper |
| Modal Inclusion Logic: Being Lax is Simpler than Being Strict | 2015-09-16 | Paper |
| Weak models of distributed computing, with connections to modal logic | 2015-03-25 | Paper |
| Weak models of distributed computing, with connections to modal logic | 2014-12-05 | Paper |
| Complexity of two-variable dependence logic and IF-logic | 2014-11-28 | Paper |
| Second-order propositional modal logic and monadic alternation hierarchies | 2014-10-27 | Paper |
| Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality | 2014-10-14 | Paper |
| Team Semantics and Recursive Enumerability | 2014-08-18 | Paper |
| Undecidable First-Order Theories of Affine Geometries | 2014-01-08 | Paper |
| Expressivity of imperfect information logics without identity | 2013-06-13 | Paper |
| Undecidable First-Order Theories of Affine Geometries | 2012-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085169 | 2011-03-30 | Paper |
