| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5087789 | 2022-07-01 | Paper |
| Erzeugende Funktionen verständlich erklärt | 2022-04-05 | Paper |
| Using coalgebras and the Giry monad for interpreting game logics -- a tutorial | 2019-01-22 | Paper |
| Bisimulation Cuts For Structuring Markov Transition Systems | 2017-11-09 | Paper |
| Stochastic non-determinism and effectivity functions | 2017-05-17 | Paper |
| A stochastic interpretation of game logic | 2017-03-20 | Paper |
| Towards a Probabilistic Interpretation of Game Logic | 2016-01-08 | Paper |
| Special Topics in Mathematics for Computer Scientists | 2015-12-16 | Paper |
| Algebraic properties of stochastic effectivity functions | 2014-09-08 | Paper |
| Bisimilarity of Distributionally Equivalent Markov Transition Systems | 2014-05-13 | Paper |
| A stochastic interpretation of propositional dynamic logic: expressivity | 2012-06-19 | Paper |
| Lattice properties of congruences for stochastic relations | 2012-06-01 | Paper |
| Coalgebraic logic over general measurable spaces – a survey | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3002401 | 2011-05-20 | Paper |
| A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity | 2010-12-17 | Paper |
| Weak bisimulations for the Giry monad | 2010-12-01 | Paper |
| Stochastic coalgebraic logic | 2010-01-14 | Paper |
| Factoring stochastic relations | 2009-07-21 | Paper |
| Coalgebraic logic for stochastic right coalgebras | 2009-06-11 | Paper |
| Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces | 2009-06-03 | Paper |
| Hyperfinite Approximations to Labeled Markov Transition Systems | 2009-04-28 | Paper |
| Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations | 2009-02-03 | Paper |
| Stochastic coalgebraic logic: bisimilarity and behavioral equivalence | 2008-09-29 | Paper |
| Weak Bisimulations for the Giry Monad (Extended Abstract) | 2008-05-27 | Paper |
| Stochastic Relations | 2007-10-05 | Paper |
| Kleisli morphisms and randomized congruences for the Giry monad | 2007-09-03 | Paper |
| The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator | 2007-07-25 | Paper |
| Eilenberg--Moore algebras for stochastic relations | 2007-01-22 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472855 | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472875 | 2006-06-19 | Paper |
| Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem | 2006-06-01 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Semi-pullbacks for stochastic relations over analytic spaces | 2005-10-18 | Paper |
| The converse of a stochastic relation | 2005-02-22 | Paper |
| ER modelling from first relational principles | 2004-10-27 | Paper |
| Pipelines: modelling a software architecture through relations | 2004-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738221 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449236 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417862 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415070 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2716348 | 2001-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217780 | 1998-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4897307 | 1996-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993541 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999580 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018962 | 1993-01-16 | Paper |
| Topological Completeness in an Ideal Model for Polymorphic Types | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206095 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776504 | 1987-01-01 | Paper |
| An average case analysis of Floyd's algorithm to construct heaps | 1984-01-01 | Paper |
| Continuous models that are equivalent to randomness for the analysis of many sorting algorithms | 1983-01-01 | Paper |
| Asymptotic estimates for the higher moments of the expected behavior of straight insertion sort | 1982-01-01 | Paper |
| Deleting the root of a heap | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923611 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957931 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967046 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967052 | 1982-01-01 | Paper |
| Inserting a new element into a heap | 1981-01-01 | Paper |
| Stochastic automata: stability, nondeterminism, and prediction | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922127 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926045 | 1981-01-01 | Paper |
| Good state transition policies for nondeterministic and stochastic automata | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871932 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156356 | 1980-01-01 | Paper |
| On a representation of measurable automaton transformations by stochastic automata | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049818 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889324 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4171560 | 1979-01-01 | Paper |
| Convergence theorems for stochastic automata and learning systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4165233 | 1978-01-01 | Paper |
| Optimal strategies in measurable learning systems on metric spaces | 1977-01-01 | Paper |
