| Publication | Date of Publication | Type |
|---|
| Myhill-Nerode theorem for higher-dimensional automata | 2024-10-22 | Paper |
| Closure and decision properties for higher-dimensional automata | 2024-09-13 | Paper |
| A Kleene theorem for higher-dimensional automata | 2024-08-13 | Paper |
| A Myhill-Nerode theorem for higher-dimensional automata | 2023-11-16 | Paper |
| Energy Büchi problems | 2023-08-17 | Paper |
| \( \ell r\)-multisemigroups, modal quantales and the origin of locality | 2023-03-30 | Paper |
| Catoids and modal convolution algebras | 2023-02-28 | Paper |
| Generating Posets Beyond N | 2022-08-30 | Paper |
| Domain semirings united | 2022-06-14 | Paper |
| Posets with interfaces as a model for concurrency | 2022-06-08 | Paper |
| Languages of higher-dimensional automata | 2022-05-17 | Paper |
| Generating Posets with Interfaces | 2022-03-05 | Paper |
| \(^*\)-continuous Kleene \(\omega\)-algebras for energy problems | 2021-12-02 | Paper |
| Sculptures in concurrency | 2021-05-25 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
| lr-Multisemigroups and Modal Convolution Algebras | 2021-05-01 | Paper |
| Distances for weighted transition systems: games and properties | 2021-03-10 | Paper |
| Optimal and robust controller synthesis using energy timed automata with uncertainty | 2021-03-04 | Paper |
| Computing branching distances with quantitative games | 2020-11-06 | Paper |
| Logical vs. behavioural specifications | 2020-03-12 | Paper |
| A linear-time-branching-time spectrum for behavioral specification theories | 2020-01-31 | Paper |
| Computing branching distances using quantitative games | 2019-12-12 | Paper |
| An $\omega$-algebra for real-time energy problems | 2019-05-24 | Paper |
| Compositionality for quantitative specifications | 2018-10-22 | Paper |
| Model Checking Real-Time Systems | 2018-07-20 | Paper |
| An algebraic approach to energy problems. II: The algebra of energy functions | 2017-08-25 | Paper |
| An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras | 2017-08-25 | Paper |
| An \(\omega\)-algebra for real-time energy problems | 2017-07-13 | Paper |
| Partial higher-dimensional automata | 2017-07-11 | Paper |
| Timed automata with observers under energy constraints | 2017-05-10 | Paper |
| A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories | 2017-04-04 | Paper |
| A quantitative characterization of weighted Kripke structures in temporal logic | 2017-03-29 | Paper |
| History-preserving bisimilarity for higher-dimensional automata via open maps | 2016-04-12 | Paper |
| \(^*\)-continuous Kleene \(\omega \)-algebras | 2015-11-10 | Paper |
| Model-based verification, optimization, synthesis and performance evaluation of real-time systems | 2015-09-30 | Paper |
| Discount-optimal infinite runs in priced timed automata | 2015-03-19 | Paper |
| Structural Refinement for the Modal nu-Calculus | 2015-01-13 | Paper |
| Generalized quantitative analysis of metric transition systems | 2015-01-12 | Paper |
| Tropical Fourier-Motzkin elimination, with an application to real-time verification | 2014-10-15 | Paper |
| Homotopy Bisimilarity for Higher-Dimensional Automata | 2014-09-20 | Paper |
| Refinement and difference for probabilistic automata | 2014-09-05 | Paper |
| General quantitative specification theories with modal transition systems | 2014-08-29 | Paper |
| Parametric and quantitative extensions of modal transition systems | 2014-07-24 | Paper |
| Specification Theories for Probabilistic and Real-Time Systems | 2014-07-24 | Paper |
| Kleene algebras and semimodules for energy problems | 2014-07-08 | Paper |
| Weighted modal transition systems | 2014-06-30 | Paper |
| The quantitative linear-time-branching-time spectrum | 2014-06-06 | Paper |
| Directed homology | 2013-09-09 | Paper |
| The geometry of timed PV programs | 2013-08-23 | Paper |
| Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory | 2013-08-12 | Paper |
| A quantitative characterization of weighted Kripke structures in temporal logic | 2012-09-28 | Paper |
| General quantitative specification theories with modalities | 2012-09-10 | Paper |
| The quantitative linear-time-branching-time spectrum | 2012-08-31 | Paper |
| Reachability analysis for timed automata using max-plus algebra | 2012-08-14 | Paper |
| Energy games in multiweighted automata | 2012-01-06 | Paper |
| Quantitative refinement for weighted modal transition systems | 2011-08-17 | Paper |
| Metrics for weighted transition systems: axiomatization and complexity | 2011-07-07 | Paper |
| Quantitative analysis of weighted transition systems | 2010-10-22 | Paper |
| Reparametrizations of continuous paths | 2010-02-17 | Paper |
| Verification, performance analysis and controller synthesis for real-time systems | 2010-01-28 | Paper |
| Infinite Runs in Weighted Timed Automata with Energy Constraints | 2008-12-02 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
