| Publication | Date of Publication | Type |
|---|
| Computing the bandwidth of meager timed automata | 2025-01-20 | Paper |
| scientific article; zbMATH DE number 7311252 (Why is no real title available?) | 2021-02-16 | Paper |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
Information and Computation | 2021-02-08 | Paper |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
Information and Computation | 2021-02-08 | Paper |
A Hennessy-Milner theorem for ATL with imperfect information
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Relating paths in transition systems: the fall of the modal mu-calculus
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Asymptotic behaviour in temporal logic
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Entropy Games and Matrix Multiplication Games
(available as arXiv preprint) | 2018-01-24 | Paper |
| scientific article; zbMATH DE number 6806035 (Why is no real title available?) | 2017-11-10 | Paper |
Verification of \(\mathrm{EB}^3\) specifications using CADP
Formal Aspects of Computing | 2016-05-12 | Paper |
Sofic-Dyck shifts
Theoretical Computer Science | 2015-12-08 | Paper |
Relating paths in transition systems: the fall of the modal mu-calculus
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Sofic-Dyck shifts
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
A nonarchimedian discretization for timed languages
Fundamenta Informaticae | 2014-05-12 | Paper |
| Balanced timed regular expressions | 2013-08-16 | Paper |
A study on shuffle, stopwatches and independently evolving clocks
Distributed Computing | 2013-02-04 | Paper |
| Nondeducibility on strategies in the temporal logic of knowledge | 2012-12-29 | 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 |
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
Journal Of Logic And Computation | 2011-12-19 | Paper |
On the computation of covert channel capacity
RAIRO - Theoretical Informatics and Applications | 2010-03-12 | Paper |
On the computation of covert channel capacity
RAIRO - Theoretical Informatics and Applications | 2010-03-12 | Paper |
Removing all silent transitions from timed automata
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Abstractions of Multi-agent Systems
Multi-Agent Systems and Applications V | 2008-09-25 | Paper |
Distributed Time-Asynchronous Automata
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Dynamical Properties of Timed Automata Revisited
Lecture Notes in Computer Science | 2008-07-03 | Paper |
| On timed regular languages defined by inverse monoid morphisms | 2007-01-22 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2133387 (Why is no real title available?) | 2005-02-11 | Paper |
| scientific article; zbMATH DE number 2050928 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2040946 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1870546 (Why is no real title available?) | 2003-02-18 | Paper |
Real-time automata
Journal of Automata, Languages and Combinatorics | 2001-04-17 | Paper |
| scientific article; zbMATH DE number 1500522 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1390065 (Why is no real title available?) | 2000-04-26 | Paper |
| Automata for a decidable subset of duration calculus. | 1999-01-01 | Paper |
