| 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 |
| Predictive mining of multi-temporal relations | 2024-12-03 | Paper |
| The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete} | 2024-06-27 | Paper |
| Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes | 2023-10-02 | Paper |
| \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes | 2023-09-27 | Paper |
| An interval temporal logic characterization of extended \(\omega\)-regular languages | 2023-06-01 | Paper |
| On a Temporal Logic of Prefixes and Infixes. | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028481 | 2022-02-09 | Paper |
| Reactive synthesis from interval temporal logic specifications | 2021-12-22 | Paper |
| Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata | 2021-12-14 | Paper |
| Model checking the logic of Allen's relations \textit{Meets} and \textit{Started-by} is \(\mathbf{P}^{\mathbf{NP}}\)-complete | 2021-12-07 | Paper |
| Interval-based synthesis | 2021-06-24 | Paper |
| Checking sets of pure evolving association rules | 2021-06-04 | Paper |
| Interval temporal logics over strongly discrete linear orders: the complete picture | 2021-04-27 | 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 |
| Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption | 2020-05-27 | Paper |
| Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts | 2020-04-21 | Paper |
| On coarser interval temporal logics | 2019-08-28 | Paper |
| Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals | 2019-05-02 | 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. An expressiveness comparison | 2019-02-07 | Paper |
| Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy | 2018-09-27 | Paper |
| Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 2018-04-19 | Paper |
| Adding an equivalence relation to the interval logic \(AB\bar{B}\): complexity and expressiveness | 2017-07-03 | Paper |
| Prompt interval temporal logic | 2016-11-30 | Paper |
| Mining approximate interval-based temporal dependencies | 2016-10-21 | Paper |
| Metric propositional neighborhood logic with an equivalence relation | 2016-10-21 | Paper |
| Interval temporal logic model checking: the border between good and bad HS fragments | 2016-09-05 | Paper |
| Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) | 2016-05-27 | Paper |
| On the complexity of fragments of the modal logic of Allen's relations over dense structures | 2016-04-08 | Paper |
| A decidable weakening of compass logic based on cone-shaped cardinal directions | 2016-01-07 | Paper |
| Interval temporal logics over finite linear orders: the complete picture | 2015-12-11 | Paper |
| Interval temporal logics over strongly discrete linear orders: expressiveness and complexity | 2014-12-02 | Paper |
| Decidability of the interval temporal logic \(\mathsf{A}\bar{\mathsf{A}}\mathsf{B}\bar{\mathsf{B}}\) over the rationals | 2014-10-14 | Paper |
| Interval-based temporal functional dependencies: specification and verification | 2014-07-11 | Paper |
| Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 2014-01-10 | Paper |
| Interval logics and \(\omega B\)-regular languages | 2013-03-18 | Paper |
| On begins, meets and before | 2012-08-30 | Paper |
| The importance of the past in interval temporal logics: the case of propositional neighborhood logic | 2012-07-23 | Paper |
| Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers | 2012-01-23 | Paper |
| Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders | 2011-07-01 | Paper |
| Maximal decidable fragments of Halpern and Shoham's modal logic of intervals | 2010-09-07 | 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 |
| A Decidable Spatial Logic with Cone-Shaped Cardinal Directions | 2009-11-12 | 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 |
| An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic | 2007-09-03 | Paper |
| A general tableau method for propositional interval temporal logics: theory and implementation | 2006-10-10 | Paper |
