| Publication | Date of Publication | Type |
|---|
| From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers | 2024-09-25 | Paper |
| Some extensions to propositional mean-value calculus: expressiveness and decidability | 2024-06-21 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
| Specification and optimal reactive synthesis of run-time enforcement shields | 2022-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079753 | 2022-05-28 | Paper |
| Specification and optimal reactive synthesis of run-time enforcement shields | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009457 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129940 | 2020-11-03 | Paper |
| Making Metric Temporal Logic Rational | 2020-05-26 | Paper |
| Formalizing Timing Diagram Requirements in Discrete Duration Calculus | 2019-09-16 | Paper |
| Two-variable Logic with a Between Relation | 2018-04-23 | Paper |
| Metric Temporal Logic with Counting | 2016-06-10 | Paper |
| On Unary Fragments of MTL and TPTL over Timed Words | 2015-01-13 | Paper |
| Deterministic logics for UL | 2013-10-04 | Paper |
| Finding extremal models of discrete duration calculus formulae using symbolic search | 2013-09-26 | Paper |
| Interval duration logic: expressiveness and decidability | 2013-08-15 | Paper |
| Chop expressions and discrete duration calculus | 2013-02-26 | Paper |
| An introduction to timed automata | 2013-02-26 | Paper |
| The unary fragments of metric interval temporal logic: bounded versus lower bound constraints | 2012-11-21 | Paper |
| On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections | 2011-10-07 | Paper |
| On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing | 2011-09-02 | Paper |
| Unambiguity in Timed Regular Languages: Automata and Logics | 2010-09-10 | Paper |
| Around dot depth two | 2010-08-31 | Paper |
| All those duration calculi: an integrated approach | 2010-06-02 | Paper |
| Digitizing interval duration logic. | 2010-04-20 | Paper |
| A sampling approach to the analysis of metric temporal logic | 2009-07-27 | Paper |
| Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions | 2009-04-02 | Paper |
| Timed Automata with Integer Resets: Language Inclusion and Expressiveness | 2008-12-02 | Paper |
| A Dose of Timed Logic, in Guarded Measure | 2008-07-08 | Paper |
| On Sampling Abstraction of Continuous Time Logic with Durations | 2007-09-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470508 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771065 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247272 | 2000-01-12 | Paper |
| Finite divergence | 1997-02-28 | Paper |
| Infinitary parallelism without unbounded nondeterminism in CSP | 1994-06-02 | Paper |
| P-A logic - a compositional proof system for distributed programs | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779778 | 1986-01-01 | Paper |
