| Publication | Date of Publication | Type |
|---|
| Sum and tensor of quantitative effects | 2024-11-12 | Paper |
| Tensor of quantitative equational theories | 2023-12-08 | Paper |
| A Hemimetric Extension of Simulation for Semi-Markov Decision Processes | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875370 | 2023-02-03 | Paper |
| Complete axiomatization for the total variation distance of Markov chains | 2022-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856412 | 2021-03-26 | Paper |
| Quantitative Equational Reasoning | 2021-02-16 | Paper |
| An Algebraic Theory of Markov Processes | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144649 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111436 | 2020-05-27 | Paper |
| Parametric Verification of Weighted Systems | 2019-10-24 | Paper |
| Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations | 2018-12-06 | Paper |
| Converging from branching to linear metrics on Markov chains | 2018-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4558788 | 2018-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4558787 | 2018-11-30 | Paper |
| On decidability of recursive weighted logics | 2018-10-22 | Paper |
| On the metric-based approximate minimization of Markov chains | 2018-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683857 | 2018-09-26 | Paper |
| A complete approximation theory for weighted transition systems | 2018-08-16 | Paper |
| Timed comparisons of semi-Markov processes | 2018-06-26 | Paper |
| Quantitative Algebraic Reasoning | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636572 | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608673 | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278079 | 2017-07-13 | Paper |
| Stone Duality for Markov Processes | 2017-07-03 | Paper |
| Alternation-free weighted mu-calculus: decidability and completeness | 2016-12-16 | Paper |
| Adequacy and complete axiomatization for timed modal logic | 2016-05-13 | Paper |
| A metrized duality theorem for Markov processes | 2016-05-13 | Paper |
| Converging from Branching to Linear Metrics on Markov Chains | 2016-02-25 | Paper |
| Decidability of Modular Logics for Concurrency | 2015-12-07 | Paper |
| Decidability and Expressiveness of Recursive Weighted Logic | 2015-12-03 | Paper |
| Concurrent weighted logic | 2015-11-10 | Paper |
| On the Total Variation Distance of Semi-Markov Chains | 2015-10-01 | Paper |
| A Decidable Recursive Logic for Weighted Transition Systems | 2015-01-13 | Paper |
| Complete proof systems for weighted modal logic | 2014-07-25 | Paper |
| Bisimulation on Markov Processes over Arbitrary Measurable Spaces | 2014-06-02 | Paper |
| The Measurable Space of Stochastic Processes | 2014-05-12 | Paper |
| Analysing Biochemical Oscillation through Probabilistic Model Checking | 2014-03-21 | Paper |
| Stochastic Pi-calculus Revisited | 2013-10-04 | Paper |
| Computing Behavioral Distances, Compositionally | 2013-09-20 | Paper |
| Strong Completeness for Markovian Logics | 2013-09-20 | Paper |
| On-the-Fly Exact Computation of Bisimilarity Distances | 2013-08-05 | Paper |
| Continuous Markovian Logics - Axiomatization and Quantified Metatheory | 2013-01-07 | Paper |
| Taking It to the Limit: Approximate Reasoning for Markov Processes | 2012-09-25 | Paper |
| Continuous Markovian logic -- from complete axiomatization to the metric space of formulas | 2012-09-18 | Paper |
| Combining Epistemic Logic and Hennessy-Milner Logic | 2012-07-16 | Paper |
| Modular Markovian Logic | 2011-07-07 | Paper |
| AN OBSERVER-BASED DE-QUANTISATION OF DEUTSCH'S ALGORITHM | 2011-02-23 | Paper |
| Decidable Extensions of Hennessy-Milner Logic | 2009-03-11 | Paper |
| Observing Distributed Computation. A Dynamic-Epistemic Approach | 2009-03-10 | Paper |
| A Complete Axiomatic System for a Process-Based Spatial Logic | 2009-02-03 | Paper |
| A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS | 2008-12-01 | Paper |
| A multiset-based model of synchronizing agents: Computability and robustness | 2008-03-06 | Paper |
| Partial Knowledge in Membrane Systems: A Logical Approach | 2007-09-03 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681304 | 2005-06-23 | Paper |
