Regular Papers
- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
- On Algebras with Effectful Iteration
- (In)finite Trace Equivalence of Probabilistic Transition Systems
- Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
- Steps and Traces
- Long-Term Values in Markov Decision Processes, (Co)Algebraically
- Fibrational Simulations and Quantitative Reasoning
- Monoidal computer III: A coalgebraic view of computability and complexity (Extended abstract)
- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs
- Undecidability of Equality for Codata Types
Short Contributions
- On Retracts of Algebras with Iteration
-
A coalgebraic take on regular and $\omega$-regular behaviour for systems with internal moves
-
Recursive Proofs for Coinductive Predicates in Fibrations
-
Causality, quantum channels, and Mealy machines