| 2017 | 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, June 12-16, 2017 Filippo Bonchi, Barbara König |
| 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 | A Universal Construction for (Co)Relations. Brendan Fong, Fabio Zanasi |
| 2017 | Automata Minimization: a Functorial Approach. Thomas Colcombet, Daniela Petrisan |
| 2017 | Being Van Kampen in Presheaf Topoi is a Uniqueness Property. Harald König, Uwe Wolter |
| 2017 | Bisimulation for Weakly Expressive Coalgebraic Modal Logics. Zeinab Bakhtiari, Helle Hvid Hansen |
| 2017 | Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |
| 2017 | Custom Hypergraph Categories via Generalized Relations. Dan Marsden, Fabrizio Genovese |
| 2017 | Disjunctive Bases: Normal Forms for Modal Logics. Sebastian Enqvist, Yde Venema |
| 2017 | Finite Behaviours and Finitary Corecursion. Henning Urbat |
| 2017 | Free Constructions and Coproducts of d-Frames. Tomas Jakl, Achim Jung |
| 2017 | Front Matter, Table of Contents, Preface, List of Authors. |
| 2017 | Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. Clovis Eberhart, Tom Hirschowitz |
| 2017 | Monoidal Company for Accessible Functors. Henning Basold, Damien Pous, Jurriaan Rot |
| 2017 | On Corecursive Algebras for Functors Preserving Coproducts. Jirí Adámek, Stefan Milius |
| 2017 | On Path-Based Coalgebras and Weak Notions of Bisimulation. Harsh Beohar, Sebastian Küpper |
| 2017 | Parity Automata for Quantitative Linear Time Logics. Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo |
| 2017 | Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. David Sprunger, Lawrence S. Moss |
| 2017 | Probability Sheaves and the Giry Monad. Alex Simpson |
| 2017 | Proper Functors and their Rational Fixed Point. Stefan Milius |
| 2017 | Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. William John Gowers, James Laird |
| 2017 | Termination in Convex Sets of Distributions. Ana Sokolova, Harald Woracek |
| 2017 | The EfProb Library for Probabilistic Calculations. Kenta Cho, Bart Jacobs |
| 2017 | The Positivication of Coalgebraic Logics. Fredrik Dahlqvist, Alexander Kurz |
| 2017 | UML Interactions Meet State Machines - An Institutional Approach. Alexander Knapp, Till Mossakowski |
| 2017 | Uniform Interpolation in Coalgebraic Modal Logic. Fatemeh Seifan, Lutz Schröder, Dirk Pattinson |