| Publication | Date of Publication | Type |
|---|
| Logics for Petri Nets with Propagating Failures | 2024-03-14 | Paper |
| On Diagrams and General Model Checkers | 2023-02-23 | Paper |
| Temporal logic for social networks | 2022-09-08 | Paper |
| Adding proof calculi to epistemic logics with structured knowledge | 2022-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5067947 | 2022-04-04 | Paper |
| Graded epistemic logic with public announcement | 2022-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994979 | 2021-06-22 | Paper |
| Populational announcement logic (PPAL) | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116417 | 2020-08-25 | Paper |
| Epistemic logics with structured knowledge | 2019-11-13 | Paper |
| A family of graded epistemic logics | 2019-11-12 | Paper |
| Propositional dynamic logic for Petri nets | 2019-01-08 | Paper |
| PDL for structured data: a graph-calculus approach | 2019-01-08 | Paper |
| Towards reasoning about Petri nets: a propositional dynamic logic based approach | 2018-09-24 | Paper |
| Bisimilar and logically equivalent programs in PDL with parallel operator | 2017-06-15 | Paper |
| On a graph calculus for modalities | 2017-06-15 | Paper |
| Propositional Dynamic Logic for Petri Nets with Iteration | 2016-12-21 | Paper |
| A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus | 2016-08-05 | Paper |
| On graph calculi for multi-modal logics | 2016-08-01 | Paper |
| Bisimilar and logically equivalent programs in PDL | 2016-05-10 | Paper |
| Extending propositional dynamic logic for Petri nets | 2016-05-10 | Paper |
| On a graph approach to modal logics | 2016-05-10 | Paper |
| Propositional Dynamic Logic with Storing, Recovering and Parallel Composition | 2015-03-18 | Paper |
| Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator | 2015-01-12 | Paper |
| Product of Graphs and Hybrid Logic | 2014-07-23 | Paper |
| A Compositional Automata-based Approach for Model Checking Multi-Agent Systems | 2014-01-24 | Paper |
| Modal Expressiveness of Graph Properties | 2013-12-13 | Paper |
| A study on multi-dimensional products of graphs and hybrid logics | 2011-12-23 | Paper |
| Hybrid Logics and NP Graph Properties | 2011-05-27 | Paper |
| On vague notions and modalities: a modular approach | 2010-07-26 | Paper |
| Using modal logics to express and check global graph properties | 2009-11-12 | Paper |
| A Propositional Dynamic Logic for CCS Programs | 2008-07-10 | Paper |
| On fork arrow logic and its expressive power | 2007-10-22 | Paper |
| Formalizing Concurrent Common Knowledge as Product of Modal Logics | 2006-03-30 | Paper |
| Advances in Artificial Intelligence – SBIA 2004 | 2005-08-22 | Paper |
| Reasoning about Knowledge in Asynchronous Distributed Systems | 2005-08-03 | Paper |
| Squares in fork arrow logic | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413986 | 2003-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440829 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282597 | 1994-08-28 | Paper |
| A Constructive Presentation for the Modal Connective of Necessity (□) | 1992-09-27 | Paper |
