| Publication | Date of Publication | Type |
|---|
| Priority promotion with Parysian flair | 2024-10-29 | Paper |
| Solving mean-payoff games via quasi dominions | 2024-03-27 | Paper |
| Taming strategy logic: non-recurrent fragments | 2023-09-27 | Paper |
| Alternating (in)dependence-friendly logic | 2023-09-21 | Paper |
| Quantifying over Trees in Monadic Second-Order Logic | 2023-04-23 | Paper |
| Good-for-Game QPTL: An Alternating Hodges Semantics | 2023-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384167 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015276 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015267 | 2021-12-07 | Paper |
| Solving Mean-Payoff Games via Quasi Dominions | 2021-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151033 | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144619 | 2021-01-19 | Paper |
| Robust worst cases for parity games algorithms | 2020-05-26 | Paper |
| On the decidability of linear bounded periodic cyber-physical systems | 2019-10-22 | Paper |
| Solving Parity Games via Priority Promotion | 2019-05-03 | Paper |
| A delayed promotion policy for parity games | 2018-09-27 | Paper |
| Cycle detection in computation tree logic | 2018-09-27 | Paper |
| Practical verification of multi-agent systems against \textsc{Slk} specifications | 2018-06-14 | Paper |
| Solving parity games via priority promotion | 2018-04-12 | Paper |
| Reasoning about graded strategy quantifiers | 2018-03-21 | Paper |
| Binding Forms in First-Order Logic | 2017-08-31 | Paper |
| On the Boundary of Behavioral Strategies | 2017-07-03 | Paper |
| Substructure Temporal Logic | 2017-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980973 | 2017-05-08 | Paper |
| Relentful strategic reasoning in alternating-time temporal logic | 2017-01-31 | Paper |
| Reasoning About Substructures and Games | 2017-01-30 | Paper |
| On promptness in parity games | 2016-05-11 | Paper |
| Reasoning About Strategies | 2015-09-17 | Paper |
| Graded computation tree logic | 2015-09-17 | Paper |
| A Behavioral Hierarchy of Strategy Logic | 2014-10-14 | Paper |
| On the Remarkable Features of Binding Forms | 2014-04-05 | Paper |
| On Promptness in Parity Games | 2014-01-17 | Paper |
| Logics in computer science. A study on extensions of temporal and strategic logics | 2013-07-29 | Paper |
| What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic | 2012-09-25 | Paper |
| Reasoning about strategies | 2012-08-29 | Paper |
| Quantitatively fair scheduling | 2012-03-13 | Paper |
| Exploring the boundary of half-positionality | 2012-01-13 | Paper |
| Relentful Strategic Reasoning in Alternating-Time Temporal Logic | 2011-01-07 | Paper |
| Graded Computation Tree Logic with Binary Coding | 2010-09-03 | Paper |
| Exploring the Boundary of Half Positionality | 2010-08-24 | Paper |
| Balanced Paths in Colored Graphs | 2009-10-16 | Paper |
| Branching-Time Temporal Logics with Minimal Model Quantifiers | 2009-07-07 | Paper |
