| 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 |
| Dynamic epistemic logic games with epistemic temporal goals | 2021-07-06 | Paper |
| Normative reasoning and consequence | 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 |
| Gossip in dynamic networks | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224562 | 2019-07-24 | Paper |
| Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis | 2019-07-24 | Paper |
| Dynamic gossip | 2019-05-23 | Paper |
| Reasoning about knowledge and messages in asynchronous multi-agent systems | 2018-12-04 | Paper |
| Epistemic probability logic simplified | 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 |
| Coalition games over Kripke semantics: expressiveness and complexity | 2011-05-31 | Paper |
| Properties of logics of individual and group agency | 2011-03-30 | Paper |
| Epistemic games in modal logic: Joint actions, knowledge and preferences all together | 2010-01-07 | Paper |
