| Publication | Date of Publication | Type |
|---|
A game-theoretic approach to timeline-based planning with uncertainty
| 2022-05-28 | Paper |
Population based methods for optimising infinite behaviours of timed automata
| 2022-05-28 | Paper |
scientific article; zbMATH DE number 7447742 (Why is no real title available?)
| 2021-12-17 | Paper |
scientific article; zbMATH DE number 7445165 (Why is no real title available?)
| 2021-12-14 | Paper |
scientific article; zbMATH DE number 7362731 (Why is no real title available?)
| 2021-06-24 | Paper |
One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
Information and Computation | 2021-06-03 | Paper |
On timeline-based games and their complexity
Theoretical Computer Science | 2020-04-06 | Paper |
A modal aleatoric calculus for probabilistic reasoning
| 2020-01-14 | Paper |
Sublogics of a branching time logic of robustness
Information and Computation | 2019-05-02 | Paper |
A one-pass tree-shaped tableau for LTL+past
EPiC Series in Computing | 2019-01-10 | Paper |
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
Journal of Symbolic Logic | 2018-10-26 | Paper |
Expressiveness and succinctness of a logic of robustness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
A tableau for temporal logic over the reals
| 2018-04-23 | Paper |
To be fair, use bundles
Annals of Mathematics and Artificial Intelligence | 2017-10-13 | Paper |
Rewrite rules for \(\mathrm{CTL}^\ast\)
Journal of Applied Logic | 2017-03-30 | Paper |
Finding minimum and maximum termination time of timed automata models with cyclic behaviour
Theoretical Computer Science | 2017-02-06 | Paper |
A complete axiomatization of a temporal logic with obligation and robustness
Journal Of Logic And Computation | 2017-01-31 | Paper |
Metric temporal logic revisited
Acta Informatica | 2016-04-07 | Paper |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Formal Aspects of Computing | 2016-01-06 | Paper |
A tableau for bundled strategies
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Synthesis for continuous time
Theoretical Computer Science | 2015-07-24 | Paper |
Indiscrete models: model building and model checking over linear time
Logic and Its Applications | 2015-01-06 | Paper |
Synthesis for temporal logic over the reals
| 2014-06-11 | Paper |
Verifying temporal properties in real models
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A tableau for general linear temporal logic
Journal of Logic and Computation | 2013-11-21 | Paper |
Model checking general linear temporal logic
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Metric temporal reasoning with less than two clocks
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
A tableau-based decision procedure for CTL\(^*\)
Formal Aspects of Computing | 2012-07-03 | Paper |
The complexity of temporal logic over the reals
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Separation -- past, present, and future
| 2011-07-06 | Paper |
Axioms for Obligation and Robustness with Temporal Logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
A Temporal Logic of Robustness
Frontiers of Combining Systems | 2008-09-16 | Paper |
A Tableau for Bundled CTL
Journal Of Logic And Computation | 2007-05-14 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Axioms for logics of knowledge and past time: synchrony and unique initial states
| 2006-08-15 | Paper |
An axiomatization of PCTL*
Information and Computation | 2005-09-22 | Paper |
scientific article; zbMATH DE number 2196599 (Why is no real title available?)
| 2005-08-22 | Paper |
scientific article; zbMATH DE number 2196589 (Why is no real title available?)
| 2005-08-22 | Paper |
scientific article; zbMATH DE number 2084409 (Why is no real title available?)
| 2004-08-09 | Paper |
The complexity of the temporal logic with ``until over general linear time
Journal of Computer and System Sciences | 2003-08-13 | Paper |
Axioms for Branching Time
Journal Of Logic And Computation | 2003-02-06 | Paper |
An axiomatization of full computation tree logic
The Journal of Symbolic Logic | 2003-01-07 | Paper |
On the Products of Linear Modal Logics
Journal Of Logic And Computation | 2003-01-07 | Paper |
Temporal logic. Vol. 2. Mathematical foundations and computational aspects
Oxford Logic Guides | 2001-10-29 | Paper |
scientific article; zbMATH DE number 1612560 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1536551 (Why is no real title available?)
| 2000-11-28 | Paper |
scientific article; zbMATH DE number 1444741 (Why is no real title available?)
| 2000-05-09 | Paper |
scientific article; zbMATH DE number 1421193 (Why is no real title available?)
| 2000-03-22 | Paper |
Undecidability of compass logic
Journal Of Logic And Computation | 2000-03-16 | Paper |
Non-definability of the class of complete bundled trees
Logic Journal of the IGPL | 1999-03-30 | Paper |
A decidable temporal logic of parallelism
Notre Dame Journal of Formal Logic | 1999-01-19 | Paper |
scientific article; zbMATH DE number 1222929 (Why is no real title available?)
| 1998-11-11 | Paper |
Axiomatising first-order temporal logic: Until and since over linear time
Studia Logica | 1997-06-15 | Paper |
scientific article; zbMATH DE number 747023 (Why is no real title available?)
| 1995-04-24 | Paper |
Axiomatisation and decidability of \(F\) and \(P\) in cyclical time
Journal of Philosophical Logic | 1994-04-12 | Paper |
scientific article; zbMATH DE number 510781 (Why is no real title available?)
| 1994-04-04 | Paper |
An axiomatization for until and since over the reals without the IRR rule
Studia Logica | 1993-04-01 | Paper |
Products of idempotent linear transformations
Proceedings of the Royal Society of Edinburgh: Section A Mathematics | 1985-01-01 | Paper |
The ideal structure of idempotent-generated transformation semigroups
Proceedings of the Edinburgh Mathematical Society | 1985-01-01 | Paper |
A new construction for free inverse semigroups
Semigroup Forum | 1984-01-01 | Paper |
