| Publication | Date of Publication | Type |
|---|
| Dependency matrices for multiplayer strategic dependencies | 2024-09-12 | Paper |
| Semantics of attack-defense trees for dynamic countermeasures and a new hierarchy of star-free languages | 2024-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191019 | 2024-02-08 | Paper |
| Is my attack tree correct? | 2022-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999223 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994896 | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3388751 | 2021-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964721 | 2021-03-03 | Paper |
| DEL-based epistemic planning: decidability and complexity | 2020-11-16 | Paper |
| Symbolic model checking of public announcement protocols | 2020-02-17 | Paper |
| Book review of: S. Demri et al., Temporal logics in computer science. Finite-state systems | 2019-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224569 | 2019-07-24 | Paper |
| Relating Paths in Transition Systems | 2018-10-24 | Paper |
| Expressiveness and succinctness of a logic of robustness | 2018-09-12 | Paper |
| Model checking against arbitrary public announcement logic: a first-order-logic prover approach for the existential fragment | 2018-04-12 | Paper |
| Emptiness Of Alternating Tree Automata Using Games With Imperfect Information | 2017-02-21 | Paper |
| Jumping Automata for Uniform Strategies | 2017-02-21 | Paper |
| The complexity of one-agent refinement modal logic | 2015-10-12 | Paper |
| Unifying Hyper and Epistemic Temporal Logics | 2015-10-01 | Paper |
| Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus | 2015-09-16 | Paper |
| Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems | 2015-06-12 | Paper |
| Uniform strategies, rational relations and jumping automata | 2015-06-01 | Paper |
| Refinement modal logic | 2014-11-28 | Paper |
| A GENERAL NOTION OF UNIFORM STRATEGIES | 2014-04-01 | Paper |
| Verification of gap-order constraint abstractions of counter systems | 2014-02-04 | Paper |
| Modal event-clock specifications for timed component-based design | 2013-06-06 | Paper |
| On timed alternating simulation for concurrent timed games | 2012-10-24 | Paper |
| On timed alternating simulation for concurrent timed games | 2012-10-15 | Paper |
| The Complexity of One-Agent Refinement Modal Logic | 2012-09-21 | Paper |
| Future event logic -- axioms and complexity | 2012-08-05 | Paper |
| Verification of Gap-Order Constraint Abstractions of Counter Systems | 2012-06-15 | Paper |
| Hardness of preorder checking for basic formalisms | 2011-12-07 | Paper |
| Hardness of Preorder Checking for Basic Formalisms | 2011-01-07 | Paper |
| Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective | 2010-01-18 | Paper |
| A decidable class of problems for control under partial observation | 2009-12-04 | Paper |
| Games with Opacity Condition | 2009-11-19 | Paper |
| Refinement and Consistency of Timed Modal Specifications | 2009-04-02 | Paper |
| Game Quantification Patterns | 2009-02-12 | Paper |
| A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies | 2008-07-03 | Paper |
| Mathematical Foundations of Computer Science 2003 | 2007-12-07 | Paper |
| Modal specifications for the control theory of discrete event systems | 2007-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782022 | 2002-11-27 | Paper |
| Translations between modal logics of reactive systems | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202951 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038673 | 1993-05-18 | Paper |
