| Publication | Date of Publication | Type |
|---|
| A complete inference system for probabilistic infinite trace equivalence | 2026-06-09 | Paper |
| SEA-PARAM: exploring schedulers in parametric MDPs | 2025-02-26 | Paper |
| The theory of traces for systems with nondeterminism and probability | 2024-12-19 | Paper |
| 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)
(available as arXiv preprint) | 2023-12-08 | Paper |
Parameter-Independent Strategies for pMDPs via POMDPs
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
The theory of traces for systems with nondeterminism, probability, and termination
(available as arXiv preprint) | 2022-08-02 | Paper |
| The theory of traces for systems with nondeterminism, probability, and termination | 2022-08-02 | Paper |
Distribution bisimilarity via the power of convex algebras
(available as arXiv preprint) | 2021-10-08 | Paper |
| Distribution bisimilarity via the power of convex algebras | 2021-10-08 | Paper |
| scientific article; zbMATH DE number 7204940 (Why is no real title available?) | 2020-05-27 | Paper |
| Coalgebraic weak bisimulation for action-type systems | 2019-02-08 | Paper |
Termination in convex sets of distributions
(available as arXiv preprint) | 2018-11-30 | Paper |
| scientific article; zbMATH DE number 6917183 (Why is no real title available?) | 2018-08-13 | Paper |
Proper semirings and proper convex functors
(available as arXiv preprint) | 2018-07-17 | Paper |
| Local linearizability for concurrent container-type data structures | 2018-03-21 | Paper |
Dynamic reductions for model checking concurrent software
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Sound and complete axiomatization of trace semantics for probabilistic systems
Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
Trace semantics via determinization
Journal of Computer and System Sciences | 2015-04-28 | Paper |
Congruences of convex algebras.
Journal of Pure and Applied Algebra | 2015-04-24 | Paper |
Quantitative relaxation of concurrent data structures
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Generic trace theory | 2013-12-04 | Paper |
| Weak bisimulation for action-type coalgebras (extended abstract) | 2013-09-20 | Paper |
| A hierarchy of probabilistic system types | 2013-08-23 | Paper |
| scientific article; zbMATH DE number 6168142 (Why is no real title available?) | 2013-05-29 | Paper |
Trace semantics via determinization
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
Coalgebraic components in a many-sorted microcosm
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Traces, Executions and Schedulers, Coalgebraically
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Probabilistic systems coalgebraically: a survey
Theoretical Computer Science | 2011-09-22 | Paper |
Information hiding in probabilistic concurrent systems
Theoretical Computer Science | 2011-07-07 | Paper |
| On the functional equation \(A(x,B(x,y))=y\) in the variety of groupoids | 2011-01-25 | Paper |
Exemplaric Expressivity of Modal Logics
Journal Of Logic And Computation | 2010-11-11 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Compositionality for Markov Reward Chains with Fast Transitions
Formal Methods and Stochastic Models for Performance Evaluation | 2008-08-28 | Paper |
The Microcosm Principle and Concurrency in Coalgebra
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Generic Trace Semantics via Coinduction
Logical Methods in Computer Science | 2008-04-01 | Paper |
A hierarchy of probabilistic system types
Theoretical Computer Science | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2103941 (Why is no real title available?) | 2004-09-28 | Paper |
| scientific article; zbMATH DE number 2049026 (Why is no real title available?) | 2004-03-02 | Paper |
| scientific article; zbMATH DE number 1823820 (Why is no real title available?) | 2002-11-05 | Paper |
Free Steiner loops
Glasnik Matematički. Serija III | 2002-01-23 | Paper |
| scientific article; zbMATH DE number 1342161 (Why is no real title available?) | 1999-09-22 | Paper |
