| 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 |
| https://portal.mardi4nfdi.de/entity/Q3384174 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015270 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995362 | 2021-06-24 | Paper |
| Checking Sets of Pure Evolving Association Rules | 2021-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986512 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964728 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151001 | 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 | 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 ABB: 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 |
| https://portal.mardi4nfdi.de/entity/Q3457215 | 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{A}B\bar{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 ω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 |
| https://portal.mardi4nfdi.de/entity/Q3113783 | 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 |
