| 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 $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 |
| Computer Aided Verification | 2010-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190786 | 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 |
