| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5151003 | 2021-02-16 | Paper |
| Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol | 2021-02-08 | Paper |
| A Hennessy-Milner Theorem for ATL with Imperfect Information | 2021-01-21 | Paper |
| Relating Paths in Transition Systems | 2018-10-24 | Paper |
| Asymptotic behaviour in temporal logic | 2018-04-23 | Paper |
| Entropy Games and Matrix Multiplication Games | 2018-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4591089 | 2017-11-10 | Paper |
| Verification of \(\mathrm{EB}^3\) specifications using CADP | 2016-05-12 | Paper |
| Sofic-Dyck shifts | 2015-12-08 | Paper |
| Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus | 2015-09-16 | Paper |
| Sofic-Dyck Shifts | 2014-10-14 | Paper |
| A Nonarchimedian Discretization for Timed Languages | 2014-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2842862 | 2013-08-16 | Paper |
| A study on shuffle, stopwatches and independently evolving clocks | 2013-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4898177 | 2012-12-29 | Paper |
| Epistemic ATL with Perfect Recall, Past and Strategy Contexts | 2012-09-21 | Paper |
| An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking | 2012-07-17 | Paper |
| Non-axiomatizability for the linear temporal logic of knowledge with concrete observability | 2011-12-19 | Paper |
| On the computation of covert channel capacity | 2010-03-12 | Paper |
| Removing All Silent Transitions from Timed Automata | 2009-12-01 | Paper |
| Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall | 2009-08-20 | Paper |
| Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions | 2009-02-12 | Paper |
| Abstractions of Multi-agent Systems | 2008-09-25 | Paper |
| Distributed Time-Asynchronous Automata | 2008-09-17 | Paper |
| Dynamical Properties of Timed Automata Revisited | 2008-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416410 | 2007-01-22 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650416 | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453202 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452097 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793129 | 2003-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2708466 | 2001-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501539 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934330 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737553 | 1999-01-01 | Paper |
