| Publication | Date of Publication | Type |
|---|
| A computable and compositional semantics for hybrid systems | 2024-10-08 | Paper |
| Equivalence checking and intersection of deterministic timed finite state machines | 2023-06-29 | Paper |
| A higher order method for input-affine uncertain systems | 2023-01-13 | Paper |
| Extracting interval temporal logic rules: a first approach | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015271 | 2021-12-07 | Paper |
| Static and dynamic property-preserving updates | 2021-07-21 | Paper |
| Deterministic timed finite state machines: equivalence checking and expressive power | 2021-06-24 | Paper |
| Improving HyLTL model checking of hybrid systems | 2021-06-09 | Paper |
| Interval temporal logics over strongly discrete linear orders: the complete picture | 2021-04-27 | Paper |
| A game-theoretic approach to fault diagnosis of hybrid systems | 2021-03-03 | Paper |
| An optimal decision procedure for MPNL over the integers | 2021-03-03 | Paper |
| Begin, after, and later: a maximal decidable interval temporal logic | 2021-02-16 | Paper |
| A computable and compositional semantics for hybrid automata | 2021-01-25 | Paper |
| Fast(er) reasoning in interval temporal logic | 2020-05-26 | Paper |
| Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals | 2019-05-02 | Paper |
| Formal Verification Applied to Robotic Surgery | 2018-12-12 | Paper |
| An introduction to the verification of hybrid systems using \textsc{Ariadne} | 2018-12-12 | Paper |
| Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics | 2018-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580320 | 2018-08-15 | Paper |
| Horn fragments of the Halpern-Shoham interval temporal logic | 2017-10-16 | Paper |
| Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms | 2017-07-14 | Paper |
| Most General Property-Preserving Updates | 2017-06-01 | Paper |
| Undecidability of the logic of overlap relation over discrete linear orderings | 2016-08-05 | Paper |
| On the complexity of fragments of the modal logic of Allen's relations over dense structures | 2016-04-08 | Paper |
| Interval temporal logics over finite linear orders: the complete picture | 2015-12-11 | Paper |
| Complete and terminating tableau for the logic of proper subinterval structures over dense orderings | 2015-03-23 | Paper |
| Sub-propositional fragments of the interval temporal logic of Allen's relations | 2015-01-14 | Paper |
| Interval temporal logics over strongly discrete linear orders: expressiveness and complexity | 2014-12-02 | Paper |
| The dark side of interval temporal logic: marking the undecidability border | 2014-07-11 | Paper |
| The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | 2014-07-11 | Paper |
| Assume-guarantee verification of nonlinear hybrid systems with ARIADNE | 2014-04-08 | Paper |
| Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 2014-01-10 | Paper |
| A game-theoretic approach to fault diagnosis and identification of hybrid systems | 2014-01-10 | Paper |
| A tableau system for right propositional neighborhood logic over finite linear orders: an implementation | 2013-10-04 | Paper |
| Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis | 2013-01-07 | Paper |
| On begins, meets and before | 2012-08-30 | Paper |
| Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions | 2011-08-26 | Paper |
| Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders | 2011-07-01 | Paper |
| Metric propositional neighborhood logics: expressiveness, decidability, and undecidability | 2011-05-11 | Paper |
| Tableaux for logics of subinterval structures over dense orderings | 2010-02-19 | Paper |
| A tableau-based system for spatial reasoning about directional relations | 2009-12-01 | Paper |
| Relational dual tableaux for interval temporal logics | 2009-11-30 | Paper |
| A theory of ultimately periodic languages and automata with an application to time granularity | 2009-10-02 | Paper |
| Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification | 2009-01-27 | Paper |
| Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders | 2008-10-27 | Paper |
| Tableau Systems for Logics of Subinterval Structures over Dense Orderings | 2008-01-04 | Paper |
| On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 2008-01-04 | Paper |
| An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic | 2007-09-03 | Paper |
| An optimal decision procedure for right propositional neighborhood logic | 2007-05-04 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
