| 2019 | A Coalgebraic Perspective on Probabilistic Logic Programming. | Tao Gu, Fabio Zanasi |
| 2019 | A Diagrammatic Approach to Quantum Dynamics. | Stefano Gogioso |
| 2019 | Hybridisation of Institutions in HETS (Tool Paper). | Mihai Codescu |
| 2019 | Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. | Vincenzo Ciancia, Yde Venema |
| 2019 | Linear-Time Graph Algorithms in GP 2. | Graham Campbell, Brian Courtehoute, Detlef Plump |
| 2019 | The Axiom of Choice in Cartesian Bicategories. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2019 | Coalgebraic Geometric Logic. | Nick Bezhanishvili, Jim de Groot, Yde Venema |
| 2019 | Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. | Astrid Belder, Bas Luttik, Jos C. M. Baeten |
| 2019 | Coinduction in Flow: The Later Modality in Fibrations. | Henning Basold |
| 2019 | Nominal String Diagrams. | Samuel Balco, Alexander Kurz |
| 2019 | Decomposing Comonad Morphisms. | Danel Ahman, Tarmo Uustalu |
| 2019 | On Terminal Coalgebras Derived from Initial Algebras. | Jir Admek |
| 2019 | Matching mu-Logic: Foundation of K Framework (Invited Paper). | Xiaohong Chen, Grigore Rosu |
| 2017 | Front Matter, Table of Contents, Preface, List of Authors. | |
| 2017 | Finite Behaviours and Finitary Corecursion. | Henning Urbat |
| 2017 | Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. | David Sprunger, Lawrence S. Moss |
| 2017 | Termination in Convex Sets of Distributions. | Ana Sokolova, Harald Woracek |
| 2017 | Probability Sheaves and the Giry Monad. | Alex Simpson |
| 2017 | Uniform Interpolation in Coalgebraic Modal Logic. | Fatemeh Seifan, Lutz Schrder, Dirk Pattinson |
| 2017 | A 2-Categorical Approach to Composing Quantum Structures. | David Reutter, Jamie Vicary |
| 2017 | A Classical Groupoid Model for Quantum Networks. | David Reutter, Jamie Vicary |
| 2017 | Proper Functors and their Rational Fixed Point. | Stefan Milius |
| 2017 | Custom Hypergraph Categories via Generalized Relations. | Dan Marsden, Fabrizio Genovese |
| 2017 | Being Van Kampen in Presheaf Topoi is a Uniqueness Property. | Harald Knig, Uwe Wolter |
| 2017 | UML Interactions Meet State Machines - An Institutional Approach. | Alexander Knapp, Till Mossakowski |