| Publication | Date of Publication | Type |
|---|
| Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete | 2024-12-06 | Paper |
| Expressiveness and decidability of temporal logics for asynchronous hyperproperties | 2024-08-13 | Paper |
| The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete} | 2024-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191010 | 2024-02-08 | Paper |
| Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes | 2023-10-02 | Paper |
| Taming strategy logic: non-recurrent fragments | 2023-09-27 | Paper |
| \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes | 2023-09-27 | Paper |
| Interval Temporal Logic for Visibly Pushdown Systems | 2023-07-18 | Paper |
| Equivalences of Statecharts | 2023-06-28 | Paper |
| Quantifying over Trees in Monadic Second-Order Logic | 2023-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875669 | 2023-02-03 | Paper |
| Complexity analysis of a unifying algorithm for model checking interval temporal logic | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875668 | 2023-02-03 | Paper |
| Statecharts, transition structures and transformations | 2022-08-18 | Paper |
| Semantics of full statecharts based on graph rewriting | 2022-08-16 | Paper |
| On a Temporal Logic of Prefixes and Infixes. | 2022-07-18 | Paper |
| Context-free timed formalisms: robust automata and linear temporal logics | 2022-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028481 | 2022-02-09 | Paper |
| Complexity issues for timeline-based planning over dense time under future and minimal semantics | 2022-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384890 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384161 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015270 | 2021-12-07 | Paper |
| Complexity analysis of a unifying algorithm for model checking interval temporal logic | 2021-09-21 | Paper |
| Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption | 2020-05-27 | Paper |
| Model checking interval temporal logics with regular expressions | 2020-05-26 | Paper |
| Timeline-based planning over dense temporal domains | 2020-04-21 | Paper |
| An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions | 2019-09-16 | Paper |
| Which fragments of the interval temporal logic HS are tractable in model checking? | 2019-03-13 | Paper |
| Interval vs. Point Temporal Logic Model Checking | 2019-02-07 | Paper |
| A graph rewriting framework for Statecharts semantics | 2019-01-10 | Paper |
| Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy | 2018-09-27 | Paper |
| Event-clock nested automata | 2018-06-26 | Paper |
| Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 2018-04-19 | Paper |
| Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives | 2018-03-21 | Paper |
| Systolic tree ω-languages | 2017-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351958 | 2017-08-31 | Paper |
| Ordered multi-stack visibly pushdown automata | 2016-11-24 | Paper |
| Checking interval properties of computations | 2016-10-21 | Paper |
| Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | 2016-09-05 | Paper |
| Constraining cycle alternations in model checking for interval temporal logic | 2016-08-05 | Paper |
| Timed recursive state machines: expressiveness and complexity | 2016-04-01 | Paper |
| Dynamic State Machines for Formalizing Railway Control System Specifications | 2016-01-06 | Paper |
| Pushdown module checking | 2010-05-05 | Paper |
| On the relationships between theories of time granularity and the monadic second-order theory of one successor | 2009-11-30 | Paper |
| Verification of well-formed communicating recursive state machines | 2008-09-16 | Paper |
| Pushdown Module Checking | 2008-05-27 | Paper |
| 2-Visibly Pushdown Automata | 2007-11-28 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Definability and decidability of binary predicates for time granularity | 2006-06-30 | Paper |
| On the undecidability of logics with converse, nominals, recursion and counting | 2006-02-07 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461959 | 2004-05-18 | Paper |
| Representing and Reasoning about Temporal Granularities | 2004-03-30 | Paper |
| Extending Kamp's Theorem to Model Time Granularity | 2003-03-13 | Paper |
| Transformations of timed cooperating automata | 2003-02-02 | Paper |
| A comparison of Statecharts step semantics | 2003-01-21 | Paper |
| Logical definability of \(Y\)-tree and trellis systolic \(\omega\)-languages | 2002-02-13 | Paper |
| The taming (timing) of the states | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4507819 | 2000-10-10 | Paper |
| Systolic tree \(\omega\)-languages: The operational and the logical view | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490762 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952306 | 2000-05-09 | Paper |
| Theories of -layered metric temporal structures: expressiveness and decidability | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381397 | 1998-04-01 | Paper |
| Low-level processing techniques in geophysical image interpretation | 1994-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028132 | 1993-03-28 | Paper |
