| 2017 | Free Constructions and Coproducts of d-Frames. | Tomas Jakl, Achim Jung |
| 2017 | Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. | William John Gowers, James Laird |
| 2017 | Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. | Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |
| 2017 | A Universal Construction for (Co)Relations. | Brendan Fong, Fabio Zanasi |
| 2017 | Disjunctive Bases: Normal Forms for Modal Logics. | Sebastian Enqvist, Yde Venema |
| 2017 | Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. | Clovis Eberhart, Tom Hirschowitz |
| 2017 | The Positivication of Coalgebraic Logics. | Fredrik Dahlqvist, Alexander Kurz |
| 2017 | Automata Minimization: a Functorial Approach. | Thomas Colcombet, Daniela Petrisan |
| 2017 | Parity Automata for Quantitative Linear Time Logics. | Corina Crstea, Shunsuke Shimizu, Ichiro Hasuo |
| 2017 | The EfProb Library for Probabilistic Calculations. | Kenta Cho, Bart Jacobs |
| 2017 | On Path-Based Coalgebras and Weak Notions of Bisimulation. | Harsh Beohar, Sebastian Kpper |
| 2017 | Monoidal Company for Accessible Functors. | Henning Basold, Damien Pous, Jurriaan Rot |
| 2017 | Bisimulation for Weakly Expressive Coalgebraic Modal Logics. | Zeinab Bakhtiari, Helle Hvid Hansen |
| 2017 | On Corecursive Algebras for Functors Preserving Coproducts. | Jir Admek, Stefan Milius |
| 2015 | Front Matter, Table of Contents, Preface, List of Authors. | |
| 2015 | Coalgebraic Infinite Traces and Kleisli Simulations. | Natsuki Urabe, Ichiro Hasuo |
| 2015 | Revisiting the Institutional Approach to Herbrand's Theorem. | Ionut Tutu, Jos Luiz Fiadeiro |
| 2015 | Modules Over Monads and Their Algebras. | Maciej Pirg, Nicolas Wu, Jeremy Gibbons |
| 2015 | Open System Categorical Quantum Semantics in Natural Language Processing. | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
| 2015 | Finitary Corecursion for the Infinitary Lambda Calculus. | Stefan Milius, Thorsten Wimann |
| 2015 | Generic Trace Semantics and Graded Monads. | Stefan Milius, Dirk Pattinson, Lutz Schrder |
| 2015 | Uniform Interpolation for Coalgebraic Fixpoint Logic. | Johannes Marti, Fatemeh Seifan, Yde Venema |
| 2015 | Final Coalgebras from Corecursive Algebras. | Paul Blain Levy |
| 2015 | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2015 | Presenting Morphisms of Distributive Laws. | Bartek Klin, Beata Nachyla |