| Publication | Date of Publication | Type |
|---|
Module checking of pushdown multi-agent systems
Logical Methods in Computer Science | 2026-03-23 | Paper |
| Quantifying over trees in monadic second-order logic | 2026-02-27 | Paper |
| Automata-theoretic characterisations of branching-time temporal logics | 2026-01-14 | Paper |
| Adding the relation \textit{Meets} to the temporal logic of prefixes and infixes makes it EXPSPACE-complete | 2024-12-06 | Paper |
| Expressiveness and decidability of temporal logics for asynchronous hyperproperties | 2024-08-13 | Paper |
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals \textsc{ExpSpace-complete}
Logical Methods in Computer Science | 2024-06-27 | Paper |
Parametric interval temporal logic over infinite words
(available as arXiv preprint) | 2024-02-08 | Paper |
| Parametric interval temporal logic over infinite words | 2024-02-08 | Paper |
| Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes | 2023-10-02 | Paper |
Taming strategy logic: non-recurrent fragments
Information and Computation | 2023-09-27 | Paper |
\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
Information and Computation | 2023-09-27 | Paper |
Interval Temporal Logic for Visibly Pushdown Systems
ACM Transactions on Computational Logic | 2023-07-18 | Paper |
Equivalences of Statecharts
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| Quantifying over Trees in Monadic Second-Order Logic | 2023-04-23 | Paper |
| scientific article; zbMATH DE number 7650331 (Why is no real title available?) | 2023-02-03 | Paper |
| Complexity analysis of a unifying algorithm for model checking interval temporal logic | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7650330 (Why is no real title available?) | 2023-02-03 | Paper |
Statecharts, transition structures and transformations
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Semantics of full statecharts based on graph rewriting
Graph Transformations in Computer Science | 2022-08-16 | Paper |
| On a Temporal Logic of Prefixes and Infixes. | 2022-07-18 | Paper |
Context-free timed formalisms: robust automata and linear temporal logics
Information and Computation | 2022-03-14 | Paper |
scientific article; zbMATH DE number 7471713 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471713 (Why is no real title available?) | 2022-02-09 | Paper |
Complexity issues for timeline-based planning over dense time under future and minimal semantics
Theoretical Computer Science | 2022-01-18 | Paper |
| scientific article; zbMATH DE number 7447743 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447743 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions | 2021-12-14 | Paper |
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions
(available as arXiv preprint) | 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 |
Model checking the logic of Allen's relations \textit{Meets} and \textit{Started-by} is \(\mathbf{P}^{\mathbf{NP}}\)-complete
(available as arXiv preprint) | 2021-12-07 | Paper |
Complexity analysis of a unifying algorithm for model checking interval temporal logic
Information and Computation | 2021-09-21 | 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
Information and Computation | 2020-05-26 | Paper |
Timeline-based planning over dense temporal domains
Theoretical Computer Science | 2020-04-21 | Paper |
An in-depth investigation of interval temporal logic model checking with regular expressions
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Which fragments of the interval temporal logic HS are tractable in model checking?
Theoretical Computer Science | 2019-03-13 | Paper |
Interval vs. point temporal logic model checking. An expressiveness comparison
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
A graph rewriting framework for Statecharts semantics
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
Information and Computation | 2018-09-27 | Paper |
Event-clock nested automata
(available as arXiv preprint) | 2018-06-26 | Paper |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
(available as arXiv preprint) | 2018-04-19 | Paper |
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Information and Computation | 2018-03-21 | Paper |
Systolic tree ω-languages
STACS 95 | 2017-12-04 | Paper |
| scientific article; zbMATH DE number 6767596 (Why is no real title available?) | 2017-08-31 | Paper |
Ordered multi-stack visibly pushdown automata
Theoretical Computer Science | 2016-11-24 | Paper |
Checking interval properties of computations
Acta Informatica | 2016-10-21 | Paper |
Interval temporal logic model checking: the border between good and bad HS fragments
Automated Reasoning | 2016-09-05 | Paper |
| Constraining cycle alternations in model checking for interval temporal logic | 2016-08-05 | Paper |
Timed recursive state machines: expressiveness and complexity
Theoretical Computer Science | 2016-04-01 | Paper |
Dynamic state machines for formalizing railway control system specifications
Communications in Computer and Information Science | 2016-01-06 | Paper |
Pushdown module checking
Formal Methods in System Design | 2010-05-05 | Paper |
On the relationships between theories of time granularity and the monadic second-order theory of one successor
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Verification of well-formed communicating recursive state machines
Theoretical Computer Science | 2008-09-16 | Paper |
Pushdown Module Checking
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
2-Visibly Pushdown Automata
Developments in Language Theory | 2007-11-28 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Definability and decidability of binary predicates for time granularity
Journal of Applied Logic | 2006-06-30 | Paper |
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence | 2006-02-07 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2064468 (Why is no real title available?) | 2004-05-18 | Paper |
Representing and Reasoning about Temporal Granularities
Journal Of Logic And Computation | 2004-03-30 | Paper |
Extending Kamp's Theorem to Model Time Granularity
Journal Of Logic And Computation | 2003-03-13 | Paper |
Transformations of timed cooperating automata
Fundamenta Informaticae | 2003-02-02 | Paper |
A comparison of Statecharts step semantics
Theoretical Computer Science | 2003-01-21 | Paper |
Logical definability of \(Y\)-tree and trellis systolic \(\omega\)-languages
Acta Cybernetica | 2002-02-13 | Paper |
The taming (timing) of the states
Logic Journal of the IGPL | 2001-07-09 | Paper |
| scientific article; zbMATH DE number 1515288 (Why is no real title available?) | 2000-10-10 | Paper |
Systolic tree \(\omega\)-languages: The operational and the logical view
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1479645 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1444726 (Why is no real title available?) | 2000-05-09 | Paper |
Theories of -layered metric temporal structures: expressiveness and decidability
Logic Journal of the IGPL | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1136086 (Why is no real title available?) | 1998-04-01 | Paper |
Low-level processing techniques in geophysical image interpretation
Pattern Recognition Letters | 1994-10-30 | Paper |
| scientific article; zbMATH DE number 139805 (Why is no real title available?) | 1993-03-28 | Paper |
