| 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 |
| https://portal.mardi4nfdi.de/entity/Q5014442 | 2021-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4989400 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4965817 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5377470 | 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 ω-Algebras | 2017-08-25 | Paper |
| An omega-Algebra for Real-Time Energy Problems | 2017-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275346 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2970258 | 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 |
