| Publication | Date of Publication | Type |
|---|
| Dependency matrices for multiplayer strategic dependencies | 2024-09-12 | Paper |
| Base-based model checking for multi-agent only believing | 2024-05-29 | Paper |
| Complexity of planning for connected agents in a partially known environment | 2023-01-04 | Paper |
| Copy and remove as dynamic operators | 2022-03-03 | Paper |
| A computationally grounded logic of graded belief | 2021-12-01 | Paper |
| Knowledge-based programs as succinct policies for partially observable domains | 2021-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999277 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999223 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993609 | 2021-06-15 | Paper |
| DEL-based epistemic planning: decidability and complexity | 2020-11-16 | Paper |
| Symbolic model checking of public announcement protocols | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224687 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224562 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224569 | 2019-07-24 | Paper |
| Dynamic gossip | 2019-05-23 | Paper |
| Reasoning about knowledge and messages in asynchronous multi-agent systems | 2018-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636291 | 2018-04-23 | Paper |
| Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment | 2018-04-12 | Paper |
| The modal logic of copy and remove | 2017-09-04 | Paper |
| Epistemic protocols for dynamic gossip | 2017-01-16 | Paper |
| Tableau method and NEXPTIME-completeness of DEL-sequents | 2016-10-07 | Paper |
| LotrecScheme | 2016-10-07 | Paper |
| Drawing interactive Euler diagrams from region connection calculus specifications | 2016-07-05 | Paper |
| Announcements to attentive agents | 2016-07-04 | Paper |
| Asynchronous Announcements in a Public Channel | 2016-02-25 | Paper |
| The Ceteris Paribus Structure of Logics of Game Forms | 2015-05-28 | Paper |
| A modal logic of epistemic games | 2015-05-19 | Paper |
| Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search | 2015-01-14 | Paper |
| Logics with Copy and Remove | 2015-01-13 | Paper |
| Tableaux for Non-normal Public Announcement Logic | 2015-01-09 | Paper |
| Belief Merging in Dynamic Logic of Propositional Assignments | 2014-03-31 | Paper |
| Listen to Me! Public Announcements to Agents That Pay Attention — or Not | 2013-11-06 | Paper |
| Kripke's worlds. An introduction to modal logics via tableaux | 2013-10-09 | Paper |
| Agents that look at one another | 2013-06-11 | Paper |
| Complexity results of STIT fragments | 2013-01-03 | Paper |
| Generalized DEL-Sequents | 2012-09-21 | Paper |
| Building an Epistemic Logic for Argumentation | 2012-09-21 | Paper |
| Seeing, Knowledge and Common Knowledge | 2011-10-19 | Paper |
| A logic for reasoning about counterfactual emotions | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003823 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086943 | 2011-03-30 | Paper |
| Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together | 2010-01-07 | Paper |
