| Publication | Date of Publication | Type |
|---|
Explainability of probabilistic bisimilarity distances for labelled Markov chains
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Deciding probabilistic bisimilarity distance one for labelled Markov chains
Computer Aided Verification | 2023-05-26 | Paper |
Three metric domains of processes for bisimulation
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Topological models for higher order control flow
Lecture Notes in Computer Science | 2023-04-28 | Paper |
scientific article; zbMATH DE number 7649917 (Why is no real title available?)
| 2023-02-03 | Paper |
Deciding probabilistic bisimilarity distance one for probabilistic automata
| 2021-08-04 | Paper |
Measuring progress of probabilistic LTL model checking
| 2021-04-14 | Paper |
Computing probabilistic bisimilarity distances for probabilistic automata
| 2021-03-26 | Paper |
Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains
| 2020-05-27 | Paper |
Deciding probabilistic bisimilarity distance one for probabilistic automata
Journal of Computer and System Sciences | 2020-03-26 | Paper |
Generalizing finiteness conditions of labelled transition systems
Automata, Languages and Programming | 2019-04-29 | Paper |
Computing probabilistic bisimilarity distances via policy iteration
| 2018-03-21 | Paper |
The complexity of computing a bisimilarity pseudometric on probabilistic automata
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Addendum to ``Recursively defined metric spaces without contraction
Theoretical Computer Science | 2014-01-10 | Paper |
On behavioural pseudometrics and closure ordinals
Information Processing Letters | 2012-10-23 | Paper |
On the complexity of computing probabilistic bisimilarity
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
A progress measure for explicit-state probabilistic model-checkers
Automata, Languages and Programming | 2011-07-07 | Paper |
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
Logical Methods in Computer Science | 2008-08-07 | Paper |
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Recursively defined metric spaces without contraction
Theoretical Computer Science | 2007-07-16 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Approximating and computing behavioural distances in probabilistic transition systems
Theoretical Computer Science | 2006-09-14 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
A behavioural pseudometric for probabilistic transition systems
Theoretical Computer Science | 2005-04-06 | Paper |
Domain theory, testing and simulation for labelled Markov processes
Theoretical Computer Science | 2005-04-06 | Paper |
De Bakker-Zucker processes revisited
Information and Computation | 2004-11-23 | Paper |
scientific article; zbMATH DE number 2086650 (Why is no real title available?)
| 2004-08-11 | Paper |
Isometries between a metric space and its hyperspace, function space, and space of measures.
Topology and its Applications | 2004-03-14 | Paper |
scientific article; zbMATH DE number 1956514 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1864592 (Why is no real title available?)
| 2003-02-06 | Paper |
scientific article; zbMATH DE number 1754609 (Why is no real title available?)
| 2002-06-12 | Paper |
scientific article; zbMATH DE number 1638656 (Why is no real title available?)
| 2001-08-29 | Paper |
A Note on Hyperspaces and Terminal Coalgebras
Electronic Notes in Theoretical Computer Science | 1999-07-12 | Paper |
scientific article; zbMATH DE number 1231586 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1209695 (Why is no real title available?)
| 1998-10-13 | Paper |
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
Theoretical Computer Science | 1998-08-13 | Paper |
Terminal metric spaces of finitely branching and image finite linear processes
Theoretical Computer Science | 1998-08-13 | Paper |
scientific article; zbMATH DE number 1107490 (Why is no real title available?)
| 1998-02-17 | Paper |
scientific article; zbMATH DE number 1107491 (Why is no real title available?)
| 1998-02-17 | Paper |
