| Publication | Date of Publication | Type |
|---|
| Extended bounded response LTL: a new safety fragment for efficient reactive synthesis | 2025-01-13 | Paper |
| Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete | 2024-12-06 | Paper |
| Expressiveness of extended bounded response \textsf{LTL} | 2024-12-06 | Paper |
| Succinctness of cosafety fragments of LTL via combinatorial proof systems | 2024-10-30 | Paper |
| SAT meets tableaux for linear temporal logic satisfiability | 2024-09-27 | Paper |
| Controller synthesis for timeline-based games | 2024-09-04 | 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/Q6191013 | 2024-02-08 | Paper |
| A first-order logic characterisation of safety and co-safety languages | 2024-01-23 | Paper |
| Complexity of qualitative timeline-based planning | 2023-11-02 | Paper |
| Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker | 2023-10-02 | 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 |
| A first-order logic characterization of safety and co-safety languages | 2023-08-26 | Paper |
| Interval Temporal Logic for Visibly Pushdown Systems | 2023-07-18 | Paper |
| An interval temporal logic characterization of extended \(\omega\)-regular languages | 2023-06-01 | Paper |
| Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis | 2023-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875668 | 2023-02-03 | 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 |
| Evaluation of temporal datasets via interval temporal logic model checking | 2023-02-03 | Paper |
| \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) | 2022-10-28 | Paper |
| Completeness results for two-sorted metric temporal logics | 2022-08-16 | Paper |
| On a Temporal Logic of Prefixes and Infixes. | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079781 | 2022-05-28 | Paper |
| Decidability and complexity of action-based temporal planning over dense time | 2022-04-11 | 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 |
| Reactive synthesis from interval temporal logic specifications | 2021-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384889 | 2021-12-17 | 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/Q3384174 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4995362 | 2021-06-24 | Paper |
| One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) | 2021-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986512 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964728 | 2021-03-03 | 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 |
| A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL | 2020-05-14 | Paper |
| Timeline-based planning over dense temporal domains | 2020-04-21 | Paper |
| Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts | 2020-04-21 | Paper |
| On timeline-based games and their complexity | 2020-04-06 | Paper |
| An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions | 2019-09-16 | 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 |
| A One-Pass Tree-Shaped Tableau for LTL+Past | 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 |
| 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 |
| A set-theoretic translation method for (poly)modal logics | 2017-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351958 | 2017-08-31 | 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 |
| Checking interval properties of computations | 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 |
| Constraining cycle alternations in model checking for interval temporal logic | 2016-08-05 | 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 |
| 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 complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases | 2016-04-07 | 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 |
| A graph-theoretic approach to map conceptual designs to XML schemas | 2015-09-03 | 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 |
| Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals | 2014-10-14 | 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 |
| 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 |
| Interval Logics and ωB-Regular Languages | 2013-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904145 | 2013-01-28 | 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 |
| 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 |
| Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals | 2010-09-07 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Theoretical Computer Science | 2010-02-23 | 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 |
| On the relationships between theories of time granularity and the monadic second-order theory of one successor | 2009-11-30 | Paper |
| A Decidable Spatial Logic with Cone-Shaped Cardinal Directions | 2009-11-12 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| A theory of ultimately periodic languages and automata with an application to time granularity | 2009-10-02 | Paper |
| Games on Strings with a Limited Order Relation | 2009-02-24 | 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 |
| An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures | 2008-05-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 |
| Compact and tractable automaton-based representations of time granularities | 2007-04-13 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| A general tableau method for propositional interval temporal logics: theory and implementation | 2006-10-10 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Definability and decidability of binary predicates for time granularity | 2006-06-30 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Temporalized logics and automata for time granularity | 2005-04-15 | Paper |
| Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity | 2005-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045512 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708923 | 2003-06-20 | Paper |
| Extending Kamp's Theorem to Model Time Granularity | 2003-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778773 | 2002-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536392 | 2002-11-04 | Paper |
| Alternative translation techniques for propositional and first-order modal logics | 2002-08-20 | Paper |
| Temporal representation and reasoning in artificial intelligence: Issues and approaches | 2002-06-27 | Paper |
| A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2772445 | 2002-02-19 | Paper |
| The taming (timing) of the states | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518917 | 2000-12-03 | Paper |
| Modal deduction in second-order logic and set theory. II | 2000-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952302 | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952306 | 2000-05-09 | Paper |
| A general modal framework for the event calculus and its skeptical and credulous variants | 1999-07-20 | Paper |
| Theories of -layered metric temporal structures: expressiveness and decidability | 1999-03-30 | Paper |
| Two-sorted metric temporal logics | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688917 | 1997-06-22 | Paper |
| Modal deduction in second-order logic and set theory - I | 1997-06-10 | Paper |
| Decidability results for metric and layered temporal logics | 1997-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851606 | 1996-05-02 | Paper |
| A set-theoretic translation method for polymodal logics | 1995-12-20 | Paper |
| Embedding time granularity in a logical specification language for synchronous real-time systems | 1993-10-17 | Paper |
