| Publication | Date of Publication | Type |
|---|
| QLTL model-checking | 2026-02-19 | Paper |
| From quantified CTL to QBF | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7438567 (Why is no real title available?) | 2021-12-03 | Paper |
scientific article; zbMATH DE number 7438567 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-03 | Paper |
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers
Information and Computation | 2021-09-21 | Paper |
| Satisfiability of \textsf{ATL} with strategy contexts | 2021-06-09 | Paper |
Satisfiability of \textsf{ATL} with strategy contexts
(available as arXiv preprint) | 2021-06-09 | Paper |
Timed temporal logics
Lecture Notes in Computer Science | 2020-02-24 | Paper |
| On the expressiveness of QCTL | 2018-03-21 | Paper |
Augmenting ATL with strategy contexts
Information and Computation | 2015-12-07 | Paper |
Quantified CTL: expressiveness and complexity
Logical Methods in Computer Science | 2015-01-15 | Paper |
Counting CTL
Logical Methods in Computer Science | 2013-04-09 | Paper |
Quantified CTL: expressiveness and model checking (extended abstract)
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| ATL with strategy contexts: expressiveness and model checking | 2012-08-29 | Paper |
Timed modal logics for real-time systems. Specification, verification and control
Journal of Logic, Language and Information | 2011-06-30 | Paper |
| Temporal logics for games | 2010-06-17 | Paper |
From timed automata to logic -- and back
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Counting CTL
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
State explosion in almost-sure probabilistic reachability
Information Processing Letters | 2010-01-29 | Paper |
ATL with Strategy Contexts and Bounded Memory
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Model Checking Probabilistic Timed Automata with One or Two Clocks
Logical Methods in Computer Science | 2008-11-13 | Paper |
Timed Concurrent Game Structures
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Timed Temporal Logics for Abstracting Transient States
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
On the Expressiveness and Complexity of ATL
Logical Methods in Computer Science | 2008-08-07 | Paper |
Model-Checking Timed ATL for Durational Concurrent Game Structures
Lecture Notes in Computer Science | 2008-07-08 | Paper |
On the Expressiveness and Complexity of ATL
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Model Checking Probabilistic Timed Automata with One or Two Clocks
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2087436 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086421 (Why is no real title available?) | 2004-08-11 | Paper |
Is your model checker on time? On the complexity of model checking for timed modal logics
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
| scientific article; zbMATH DE number 1705163 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1670789 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1633145 (Why is no real title available?) | 2001-08-12 | Paper |
| scientific article; zbMATH DE number 1512618 (Why is no real title available?) | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1418333 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1231598 (Why is no real title available?) | 1998-12-21 | Paper |
A hierarchy of temporal logics with past
Theoretical Computer Science | 1997-02-28 | Paper |
About the expressive power of CTL combinators
Information Processing Letters | 1997-02-28 | Paper |
Translations between modal logics of reactive systems
Theoretical Computer Science | 1997-02-28 | Paper |
