| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5079781 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079791 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384889 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384170 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995368 | 2021-06-24 | Paper |
| One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) | 2021-06-03 | Paper |
| On timeline-based games and their complexity | 2020-04-06 | Paper |
| A modal aleatoric calculus for probabilistic reasoning | 2020-01-14 | Paper |
| Sublogics of a branching time logic of robustness | 2019-05-02 | Paper |
| A One-Pass Tree-Shaped Tableau for LTL+Past | 2019-01-10 | Paper |
| THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE | 2018-10-26 | Paper |
| Expressiveness and succinctness of a logic of robustness | 2018-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636307 | 2018-04-23 | Paper |
| To be fair, use bundles | 2017-10-13 | Paper |
| Rewrite rules for \(\mathrm{CTL}^\ast\) | 2017-03-30 | Paper |
| Finding minimum and maximum termination time of timed automata models with cyclic behaviour | 2017-02-06 | Paper |
| A complete axiomatization of a temporal logic with obligation and robustness | 2017-01-31 | Paper |
| Metric temporal logic revisited | 2016-04-07 | Paper |
| Accelerating worst case execution time analysis of timed automata models with cyclic behaviour | 2016-01-06 | Paper |
| A Tableau for Bundled Strategies | 2015-12-11 | Paper |
| Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices | 2015-08-06 | Paper |
| Synthesis for continuous time | 2015-07-24 | Paper |
| Indiscrete Models: Model Building and Model Checking over Linear Time | 2015-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419881 | 2014-06-11 | Paper |
| Verifying Temporal Properties in Real Models | 2014-01-17 | Paper |
| A tableau for general linear temporal logic | 2013-11-21 | Paper |
| Model Checking General Linear Temporal Logic | 2013-10-04 | Paper |
| Metric temporal reasoning with less than two clocks | 2012-07-17 | Paper |
| A tableau-based decision procedure for CTL\(^*\) | 2012-07-03 | Paper |
| The complexity of temporal logic over the reals | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012526 | 2011-07-06 | Paper |
| Axioms for Obligation and Robustness with Temporal Logic | 2010-09-29 | Paper |
| A Temporal Logic of Robustness | 2008-09-16 | Paper |
| A Tableau for Bundled CTL | 2007-05-14 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5483001 | 2006-08-15 | Paper |
| An axiomatization of PCTL* | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311046 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465439 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475175 | 2004-08-09 | Paper |
| The complexity of the temporal logic with ``until over general linear time | 2003-08-13 | Paper |
| Axioms for Branching Time | 2003-02-06 | Paper |
| An axiomatization of full computation tree logic | 2003-01-07 | Paper |
| On the Products of Linear Modal Logics | 2003-01-07 | Paper |
| Temporal logic. Vol. 2. Mathematical foundations and computational aspects | 2001-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721205 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518419 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952322 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946222 | 2000-03-22 | Paper |
| Undecidability of compass logic | 2000-03-16 | Paper |
| Non-definability of the class of complete bundled trees | 1999-03-30 | Paper |
| A decidable temporal logic of parallelism | 1999-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218530 | 1998-11-11 | Paper |
| Axiomatising first-order temporal logic: Until and since over linear time | 1997-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835817 | 1995-04-24 | Paper |
| Axiomatisation and decidability of \(F\) and \(P\) in cyclical time | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281254 | 1994-04-04 | Paper |
| An axiomatization for until and since over the reals without the IRR rule | 1993-04-01 | Paper |
| Products of idempotent linear transformations | 1985-01-01 | Paper |
| The ideal structure of idempotent-generated transformation semigroups | 1985-01-01 | Paper |
| A new construction for free inverse semigroups | 1984-01-01 | Paper |
