| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6060092 | 2023-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6060098 | 2023-11-02 | Paper |
| Mining Significant Temporal Networks Is Polynomial | 2023-11-02 | Paper |
| Fuzzy Halpern and Shoham's interval temporal logics | 2023-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6080270 | 2023-10-02 | Paper |
| Evaluation of temporal datasets via interval temporal logic model checking | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079773 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079779 | 2022-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015271 | 2021-12-07 | Paper |
| Mining CSTNUDs significant for a set of traces is polynomial | 2021-11-25 | Paper |
| Branching interval algebra: an almost complete picture | 2021-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999269 | 2021-07-06 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5111184 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5109523 | 2020-05-12 | Paper |
| Interval temporal logic decision tree learning | 2020-02-18 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4963143 | 2018-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580320 | 2018-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580322 | 2018-08-15 | Paper |
| Allen-like theory of time for tree-like structures | 2018-03-21 | 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 |
| Two-sorted Point-Interval Temporal Logics | 2016-10-07 | Paper |
| Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings | 2016-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3177929 | 2016-07-08 | Paper |
| On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures | 2016-04-08 | Paper |
| A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases | 2016-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457215 | 2015-12-11 | Paper |
| Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations | 2015-01-14 | Paper |
| On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders | 2015-01-14 | Paper |
| Interval temporal logics over strongly discrete linear orders: expressiveness and complexity | 2014-12-02 | Paper |
| The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | 2014-07-11 | Paper |
| The dark side of interval temporal logic: marking the undecidability border | 2014-07-11 | Paper |
| An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | 2014-01-17 | Paper |
| Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 2014-01-10 | Paper |
| A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation | 2013-10-04 | Paper |
| Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders | 2013-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904145 | 2013-01-28 | Paper |
| ON BEGINS, MEETS AND BEFORE | 2012-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3113783 | 2012-01-23 | 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 |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| A Tableau-Based System for Spatial Reasoning about Directional Relations | 2009-12-01 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification | 2009-01-27 | Paper |
| Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T | 2008-11-20 | Paper |
| Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders | 2008-10-27 | Paper |
| On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 2008-01-04 | Paper |
| An optimal decision procedure for right propositional neighborhood logic | 2007-05-04 | Paper |
| A general tableau method for propositional interval temporal logics: theory and implementation | 2006-10-10 | Paper |
| Definability and decidability of binary predicates for time granularity | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708923 | 2003-06-20 | Paper |
