| Publication | Date of Publication | Type |
|---|
Myhill-Nerode theorem for higher-dimensional automata
Fundamenta Informaticae | 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
Formal Methods | 2023-08-17 | Paper |
\( \ell r\)-multisemigroups, modal quantales and the origin of locality
| 2023-03-30 | Paper |
Catoids and modal convolution algebras
Algebra Universalis | 2023-02-28 | Paper |
Generating Posets Beyond N
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Domain semirings united
Acta Cybernetica | 2022-06-14 | Paper |
Posets with interfaces as a model for concurrency
Information and Computation | 2022-06-08 | Paper |
Languages of higher-dimensional automata
Mathematical Structures in Computer Science | 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
Formal Aspects of Computing | 2021-03-04 | Paper |
Computing branching distances with quantitative games
Theoretical Computer Science | 2020-11-06 | Paper |
Logical vs. behavioural specifications
Information and Computation | 2020-03-12 | Paper |
A linear-time-branching-time spectrum for behavioral specification theories
Journal of Logical and Algebraic Methods in Programming | 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
Soft Computing | 2018-10-22 | Paper |
Model Checking Real-Time Systems
Handbook of Model Checking | 2018-07-20 | Paper |
An algebraic approach to energy problems. II: The algebra of energy functions
Acta Cybernetica | 2017-08-25 | Paper |
An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras
Acta Cybernetica | 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
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
SOFSEM 2017: Theory and Practice of Computer Science | 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
Developments in Language Theory | 2015-11-10 | Paper |
Model-based verification, optimization, synthesis and performance evaluation of real-time systems
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Discount-optimal infinite runs in priced timed automata
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Structural Refinement for the Modal nu-Calculus
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Generalized quantitative analysis of metric transition systems
Programming Languages and Systems | 2015-01-12 | Paper |
Tropical Fourier-Motzkin elimination, with an application to real-time verification
International Journal of Algebra and Computation | 2014-10-15 | Paper |
Homotopy Bisimilarity for Higher-Dimensional Automata
| 2014-09-20 | Paper |
Refinement and difference for probabilistic automata
Logical Methods in Computer Science | 2014-09-05 | Paper |
General quantitative specification theories with modal transition systems
Acta Informatica | 2014-08-29 | Paper |
Parametric and quantitative extensions of modal transition systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Specification Theories for Probabilistic and Real-Time Systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
Kleene algebras and semimodules for energy problems
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Weighted modal transition systems
Formal Methods in System Design | 2014-06-30 | Paper |
The quantitative linear-time-branching-time spectrum
Theoretical Computer Science | 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
CONCUR 2013 – Concurrency 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
Computer Science – Theory and Applications | 2012-09-10 | Paper |
The quantitative linear-time-branching-time spectrum
| 2012-08-31 | Paper |
Reachability analysis for timed automata using max-plus algebra
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Energy games in multiweighted automata
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Quantitative refinement for weighted modal transition systems
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Metrics for weighted transition systems: axiomatization and complexity
Theoretical Computer Science | 2011-07-07 | Paper |
Quantitative analysis of weighted transition systems
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Reparametrizations of continuous paths
Journal of Homotopy and Related Structures | 2010-02-17 | Paper |
Verification, performance analysis and controller synthesis for real-time systems
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Infinite Runs in Weighted Timed Automata with Energy Constraints
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
