| Publication | Date of Publication | Type |
|---|
| No finite model property for logics of quantified announcements | 2024-11-24 | Paper |
| Aleatoric propositions: reasoning about coins | 2024-02-28 | Paper |
| The Expressivity of Quantified Group Announcements | 2024-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079791 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028475 | 2022-02-09 | Paper |
| Positive announcements | 2021-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995368 | 2021-06-24 | Paper |
| A modal aleatoric calculus for probabilistic reasoning | 2020-01-14 | Paper |
| Sublogics of a branching time logic of robustness | 2019-05-02 | Paper |
| Expressiveness and succinctness of a logic of robustness | 2018-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636294 | 2018-04-23 | Paper |
| Finding minimum and maximum termination time of timed automata models with cyclic behaviour | 2017-02-06 | Paper |
| A complete axiomatization of a temporal logic with obligation and robustness | 2017-01-31 | Paper |
| Refinement quantified logics of knowledge | 2016-10-07 | Paper |
| The undecidability of quantified announcements | 2016-09-07 | Paper |
| Accelerating worst case execution time analysis of timed automata models with cyclic behaviour | 2016-01-06 | Paper |
| Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices | 2015-08-06 | Paper |
| Synthesis for continuous time | 2015-07-24 | Paper |
| Semantics for knowledge and change of awareness | 2015-02-27 | Paper |
| Indiscrete Models: Model Building and Model Checking over Linear Time | 2015-01-06 | Paper |
| Refinement modal logic | 2014-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419886 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419881 | 2014-06-11 | Paper |
| Verifying Temporal Properties in Real Models | 2014-01-17 | Paper |
| Model Checking General Linear Temporal Logic | 2013-10-04 | Paper |
| On the succinctness of some modal logics | 2013-08-23 | Paper |
| Future event logic -- axioms and complexity | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086938 | 2011-03-30 | Paper |
| Becoming Aware of Propositional Variables | 2010-12-17 | Paper |
| Axioms for Obligation and Robustness with Temporal Logic | 2010-09-29 | Paper |
| μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ | 2009-11-30 | Paper |
| Simulation and Information: Quantifying over Epistemic Events | 2009-11-12 | Paper |
| AI 2003: Advances in Artificial Intelligence | 2009-08-07 | Paper |
| A Temporal Logic of Robustness | 2008-09-16 | Paper |
| Idempotent Transductions for Modal Logics | 2008-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509051 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5436689 | 2008-01-17 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483001 | 2006-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465439 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475142 | 2004-08-09 | Paper |
