| Publication | Date of Publication | Type |
|---|
| Presenting convex sets of probability distributions by convex semilattices and unique bases | 2023-12-08 | Paper |
| Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls) | 2023-12-08 | Paper |
| Parameter-Independent Strategies for pMDPs via POMDPs | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094151 | 2022-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155671 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111636 | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621137 | 2019-02-08 | Paper |
| Termination in Convex Sets of Distributions | 2018-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580218 | 2018-08-13 | Paper |
| Proper semirings and proper convex functors | 2018-07-17 | Paper |
| Local linearizability for concurrent container-type data structures | 2018-03-21 | Paper |
| Dynamic Reductions for Model Checking Concurrent Software | 2017-02-21 | Paper |
| Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems | 2016-07-15 | Paper |
| Trace semantics via determinization | 2015-04-28 | Paper |
| Congruences of convex algebras. | 2015-04-24 | Paper |
| Quantitative relaxation of concurrent data structures | 2014-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863893 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849887 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843720 | 2013-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4922302 | 2013-05-29 | Paper |
| Trace Semantics via Determinization | 2012-09-20 | Paper |
| Coalgebraic Components in a Many-Sorted Microcosm | 2012-06-01 | Paper |
| Traces, Executions and Schedulers, Coalgebraically | 2012-06-01 | Paper |
| Probabilistic systems coalgebraically: a survey | 2011-09-22 | Paper |
| Information hiding in probabilistic concurrent systems | 2011-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3069340 | 2011-01-25 | Paper |
| Exemplaric Expressivity of Modal Logics | 2010-11-11 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| Compositionality for Markov Reward Chains with Fast Transitions | 2008-08-28 | Paper |
| The Microcosm Principle and Concurrency in Coalgebra | 2008-04-11 | Paper |
| Generic Trace Semantics via Coinduction | 2008-04-01 | Paper |
| A hierarchy of probabilistic system types | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818324 | 2004-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452840 | 2004-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153204 | 2002-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2748018 | 2002-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263743 | 1999-09-22 | Paper |
