| Publication | Date of Publication | Type |
|---|
Congruences for stochastic automata
(available as arXiv preprint) | 2022-07-01 | Paper |
Generating functions explained in an understandable way
essentials | 2022-04-05 | Paper |
Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
Frontiers of Computer Science | 2019-01-22 | Paper |
Bisimulation cuts for structuring Markov transition systems
Fundamenta Informaticae | 2017-11-09 | Paper |
Stochastic non-determinism and effectivity functions
Journal Of Logic And Computation | 2017-05-17 | Paper |
A stochastic interpretation of game logic
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Towards a probabilistic interpretation of game logic
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
| Special topics in mathematics for computer scientists. Sets, categories, topologies and measures | 2015-12-16 | Paper |
| Topologies and all that -- A Tutorial | 2015-03-03 | Paper |
Algebraic properties of stochastic effectivity functions
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Algebraic properties of stochastic effectivity functions
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Measures and all that --- A Tutorial | 2014-09-01 | Paper |
Bisimilarity of distributionally equivalent Markov transition systems
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A stochastic interpretation of propositional dynamic logic: expressivity
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Lattice properties of congruences for stochastic relations
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Coalgebraic logic over general measurable spaces -- a survey
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
| A note on the coalgebraic interpretation of game logic | 2011-05-20 | Paper |
A stochastic interpretation of propositional dynamic logic: expressivity
Logic and Its Applications | 2010-12-17 | Paper |
Weak bisimulations for the Giry monad
Mathematical Structures in Computer Science | 2010-12-01 | Paper |
Stochastic coalgebraic logic
Monographs in Theoretical Computer Science. An EATCS Series | 2010-01-14 | Paper |
Factoring stochastic relations
Information Processing Letters | 2009-07-21 | Paper |
Coalgebraic logic for stochastic right coalgebras
Annals of Pure and Applied Logic | 2009-06-11 | Paper |
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
Lecture Notes in Computer Science | 2009-06-03 | Paper |
Hyperfinite Approximations to Labeled Markov Transition Systems
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
Information and Computation | 2009-02-03 | Paper |
Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
Annals of Pure and Applied Logic | 2008-09-29 | Paper |
Weak Bisimulations for the Giry Monad (Extended Abstract)
Lecture Notes in Computer Science | 2008-05-27 | Paper |
| Stochastic Relations | 2007-10-05 | Paper |
Kleisli morphisms and randomized congruences for the Giry monad
Journal of Pure and Applied Algebra | 2007-09-03 | Paper |
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
Journal of Applied Logic | 2007-07-25 | Paper |
Eilenberg--Moore algebras for stochastic relations
Information and Computation | 2007-01-22 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Tracing relations probabilistically | 2006-06-19 | Paper |
| scientific article; zbMATH DE number 5033836 (Why is no real title available?) | 2006-06-19 | Paper |
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
SIAM Journal on Computing | 2006-06-01 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Semi-pullbacks for stochastic relations over analytic spaces
Mathematical Structures in Computer Science | 2005-10-18 | Paper |
The converse of a stochastic relation
The Journal of Logic and Algebraic Programming | 2005-02-22 | Paper |
ER modelling from first relational principles
Theoretical Computer Science | 2004-10-27 | Paper |
Pipelines: modelling a software architecture through relations
Acta Informatica | 2004-09-22 | Paper |
| scientific article; zbMATH DE number 2087426 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2038770 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1956516 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953886 (Why is no real title available?) | 2003-07-28 | Paper |
| The seventh book: Objectorientation using C++ | 2001-05-15 | Paper |
| scientific article; zbMATH DE number 1222272 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 939291 (Why is no real title available?) | 1996-10-28 | Paper |
| scientific article; zbMATH DE number 44413 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 49805 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 90778 (Why is no real title available?) | 1993-01-16 | Paper |
Topological Completeness in an Ideal Model for Polymorphic Types
SIAM Journal on Computing | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4126291 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4037051 (Why is no real title available?) | 1987-01-01 | Paper |
An average case analysis of Floyd's algorithm to construct heaps
Information and Control | 1984-01-01 | Paper |
Continuous models that are equivalent to randomness for the analysis of many sorting algorithms
Computing | 1983-01-01 | Paper |
Deleting the root of a heap
Acta Informatica | 1982-01-01 | Paper |
Asymptotic estimates for the higher moments of the expected behavior of straight insertion sort
Information Processing Letters | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3778726 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3737041 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3789823 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3789835 (Why is no real title available?) | 1982-01-01 | Paper |
Inserting a new element into a heap
BIT | 1981-01-01 | Paper |
Stochastic automata: stability, nondeterminism, and prediction
Lecture Notes in Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3735090 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3738922 (Why is no real title available?) | 1981-01-01 | Paper |
Good state transition policies for nondeterministic and stochastic automata
Information and Control | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3675320 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3588569 (Why is no real title available?) | 1980-01-01 | Paper |
On a representation of measurable automaton transformations by stochastic automata
Journal of Mathematical Analysis and Applications | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3644485 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3695534 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3605913 (Why is no real title available?) | 1979-01-01 | Paper |
Convergence theorems for stochastic automata and learning systems
Mathematical Systems Theory | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3598312 (Why is no real title available?) | 1978-01-01 | Paper |
Optimal strategies in measurable learning systems on metric spaces
Journal of Applied Probability | 1977-01-01 | Paper |
