| Publication | Date of Publication | Type |
|---|
Propositional logics for the Lawvere quantale
| 2026-04-02 | Paper |
Sum and tensor of quantitative effects
Logical Methods in Computer Science | 2024-11-12 | Paper |
Tensor of quantitative equational theories
| 2023-12-08 | Paper |
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
scientific article; zbMATH DE number 7649917 (Why is no real title available?)
| 2023-02-03 | Paper |
Complete axiomatization for the total variation distance of Markov chains
| 2022-04-25 | Paper |
Computing probabilistic bisimilarity distances for probabilistic automata
| 2021-03-26 | Paper |
Quantitative Equational Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
An algebraic theory of Markov processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
scientific article; zbMATH DE number 7297850 (Why is no real title available?)
| 2021-01-19 | Paper |
On the metric-based approximate minimization of Markov chains
| 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
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
scientific article; zbMATH DE number 6987096 (Why is no real title available?)
| 2018-11-30 | Paper |
scientific article; zbMATH DE number 6987095 (Why is no real title available?)
| 2018-11-30 | Paper |
On decidability of recursive weighted logics
Soft Computing | 2018-10-22 | Paper |
On the metric-based approximate minimization of Markov chains
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
Free complete Wasserstein algebras
| 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
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Probabilistic \(\mu\)-calculus: decidability and complete axiomatization
| 2018-04-19 | Paper |
Complete axiomatization for the bisimilarity distance on Markov chains
| 2018-03-21 | Paper |
On-the-fly computation of bisimilarity distances
| 2017-07-13 | Paper |
Stone duality for Markov processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Alternation-free weighted mu-calculus: decidability and completeness
Electronic Notes in Theoretical Computer Science | 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
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Decidability of modular logics for concurrency
Perspectives of Systems Informatics | 2015-12-07 | Paper |
Decidability and expressiveness of recursive weighted logic
Lecture Notes in Computer Science | 2015-12-03 | Paper |
Concurrent weighted logic
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
On the total variation distance of semi-Markov chains
Lecture Notes in Computer Science | 2015-10-01 | Paper |
A decidable recursive logic for weighted transition systems
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Complete proof systems for weighted modal logic
Theoretical Computer Science | 2014-07-25 | Paper |
Bisimulation on Markov processes over arbitrary measurable spaces
Lecture Notes in Computer Science | 2014-06-02 | Paper |
The measurable space of stochastic processes
Fundamenta Informaticae | 2014-05-12 | Paper |
Analysing biochemical oscillation through probabilistic model checking
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Stochastic Pi-calculus Revisited
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Computing behavioral distances, compositionally
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Strong completeness for Markovian logics
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
On-the-fly exact computation of bisimilarity distances
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Continuous Markovian logics -- axiomatization and quantified metatheory
Logical Methods in Computer Science | 2013-01-07 | Paper |
Taking it to the limit: approximate reasoning for Markov processes
Mathematical Foundations of Computer Science 2012 | 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
Logic and Program Semantics | 2012-07-16 | Paper |
Modular Markovian Logic
Automata, Languages and Programming | 2011-07-07 | Paper |
An observer-based de-quantisation of Deutsch's algorithm
International Journal of Foundations of Computer Science | 2011-02-23 | Paper |
Decidable Extensions of Hennessy-Milner Logic
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Observing Distributed Computation. A Dynamic-Epistemic Approach
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
A Complete Axiomatic System for a Process-Based Spatial Logic
Lecture Notes in Computer Science | 2009-02-03 | Paper |
A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS
International Journal of Foundations of Computer Science | 2008-12-01 | Paper |
A multiset-based model of synchronizing agents: Computability and robustness
Theoretical Computer Science | 2008-03-06 | Paper |
Partial Knowledge in Membrane Systems: A Logical Approach
Membrane Computing | 2007-09-03 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
scientific article; zbMATH DE number 2182436 (Why is no real title available?)
| 2005-06-23 | Paper |
