| Publication | Date of Publication | Type |
|---|
| Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection | 2024-06-26 | Paper |
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
Information Processing Letters | 2024-06-07 | Paper |
Correction
Journal of Applied Non-Classical Logics | 2023-05-17 | Paper |
Compositional Hoare-style reasoning about hybrid CSP in the duration calculus
Dependable Software Engineering. Theories, Tools, and Applications | 2022-11-04 | Paper |
A separation theorem for discrete-time interval temporal logic
Journal of Applied Non-Classical Logics | 2022-05-09 | Paper |
| scientific article; zbMATH DE number 7361818 (Why is no real title available?) | 2021-06-22 | Paper |
scientific article; zbMATH DE number 7361818 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-22 | Paper |
| Reducing validity in epistemic ATL to validity in epistemic CTL | 2021-05-06 | Paper |
Reducing validity in epistemic ATL to validity in epistemic CTL
(available as arXiv preprint) | 2021-05-06 | Paper |
| scientific article; zbMATH DE number 7311252 (Why is no real title available?) | 2021-02-16 | Paper |
An application of temporal projection to interleaving concurrency
Formal Aspects of Computing | 2017-09-08 | Paper |
An application of temporal projection to interleaving concurrency
Dependable Software Engineering: Theories, Tools, and Applications | 2017-08-31 | Paper |
Refining strategic ability in alternating-time temporal logic
Information and Computation | 2017-05-12 | Paper |
An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
| Synthesising features by games | 2013-12-04 | Paper |
| Sharpening the incompleteness of the duration calculus | 2013-10-02 | Paper |
| Model-checking the preservation of temporal properties upon feature integration | 2013-09-26 | Paper |
Prefix and projection onto state in duration calculus
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Epistemic ATL with perfect recall, past and strategy contexts
Lecture Notes in Computer Science | 2012-09-21 | Paper |
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
An assume/guarantee based compositional calculus for hybrid CSP
Lecture Notes in Computer Science | 2012-07-16 | Paper |
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Logical Interpolation and Projection onto State in the Duration Calculus
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Lecture Notes in Computer Science | 2009-02-12 | Paper |
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal Of Logic And Computation | 2008-08-15 | Paper |
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Logical Methods in Computer Science | 2007-11-15 | Paper |
Information Security
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Information Security
Lecture Notes in Computer Science | 2006-10-16 | Paper |
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science | 2005-06-30 | Paper |
A Complete Proof System for First-order Interval Temporal Logic with Projection
Journal Of Logic And Computation | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 2080208 (Why is no real title available?) | 2004-08-04 | Paper |
Interval-related interpolation in interval temporal logics
Logic Journal of the IGPL | 2002-09-16 | Paper |
| scientific article; zbMATH DE number 1696513 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1500558 (Why is no real title available?) | 2000-09-04 | Paper |
A propositional dynamic logic with qualitative probabilities
Journal of Philosophical Logic | 2000-01-30 | Paper |
