| Publication | Date of Publication | Type |
|---|
| Explainability of probabilistic bisimilarity distances for labelled Markov chains | 2023-11-24 | Paper |
| Deciding probabilistic bisimilarity distance one for labelled Markov chains | 2023-05-26 | Paper |
| Three metric domains of processes for bisimulation | 2023-04-28 | Paper |
| Topological models for higher order control flow | 2023-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875370 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009421 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5858723 | 2021-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856412 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111641 | 2020-05-27 | Paper |
| Deciding probabilistic bisimilarity distance one for probabilistic automata | 2020-03-26 | Paper |
| Generalizing finiteness conditions of labelled transition systems | 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 | 2014-06-02 | Paper |
| Addendum to ``Recursively defined metric spaces without contraction | 2014-01-10 | Paper |
| On behavioural pseudometrics and closure ordinals | 2012-10-23 | Paper |
| On the Complexity of Computing Probabilistic Bisimilarity | 2012-06-22 | Paper |
| A Progress Measure for Explicit-State Probabilistic Model-Checkers | 2011-07-07 | Paper |
| Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems | 2008-08-07 | Paper |
| Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems | 2007-09-07 | Paper |
| Recursively defined metric spaces without contraction | 2007-07-16 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Approximating and computing behavioural distances in probabilistic transition systems | 2006-09-14 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Domain theory, testing and simulation for labelled Markov processes | 2005-04-06 | Paper |
| A behavioural pseudometric for probabilistic transition systems | 2005-04-06 | Paper |
| De Bakker-Zucker processes revisited | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737187 | 2004-08-11 | Paper |
| Isometries between a metric space and its hyperspace, function space, and space of measures. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417860 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791270 | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535035 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736353 | 2001-08-29 | Paper |
| An introduction to metric semantics: Operational and denotational models for programming and specification languages | 2001-08-20 | Paper |
| A Note on Hyperspaces and Terminal Coalgebras | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222905 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4212171 | 1998-10-13 | Paper |
| Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding | 1998-08-13 | Paper |
| Terminal metric spaces of finitely branching and image finite linear processes | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373412 | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373413 | 1998-02-17 | Paper |
