| 2015 | A First-order Logic for String Diagrams. | Aleks Kissinger, David Quick |
| 2015 | Codensity Liftings of Monads. | Shin-ya Katsumata, Tetsuya Sato |
| 2015 | Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. | Toshiki Kataoka, Dusko Pavlovic |
| 2015 | A Recipe for State-and-Effect Triangles. | Bart Jacobs |
| 2015 | Partial Higher-dimensional Automata. | Ulrich Fahrenberg, Axel Legay |
| 2015 | An Intensionally Fully-abstract Sheaf Model for pi. | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
| 2015 | Canonical Coalgebraic Linear Time Logics. | Corina Crstea |
| 2015 | A Fibrational Approach to Automata Theory. | Liang-Ting Chen, Henning Urbat |
| 2015 | Towards Trace Metrics via Functor Lifting. | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara Knig |
| 2015 | Extensions of Functors From Set to V-cat. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2015 | Syntactic Monoids in a Category. | Jir Admek, Stefan Milius, Henning Urbat |
| 2013 | QStream: A Suite of Streams. | Joost Winter |
| 2013 | A Logic-Programming Semantics of Services. | Ionut Tutu, Jos Luiz Fiadeiro |
| 2013 | Penrose: Putting Compositionality to Work for Petri Net Reachability. | Pawel Sobocinski, Owen Stephens |
| 2013 | Nets, Relations and Linking Diagrams. | Pawel Sobocinski |
| 2013 | A Coalgebraic View of ε-Transitions. | Alexandra Silva, Bram Westerbaan |
| 2013 | Preface to CALCO-Tools. | Lutz Schrder |
| 2013 | Coalgebraic Up-to Techniques. | Damien Pous |
| 2013 | Hybridisation at Work. | Renato Neves, Alexandre Madeira, Manuel A. Martins, Lus Soares Barbosa |
| 2013 | From Operational Chu Duality to Coalgebraic Quantum Symmetry. | Yoshihiro Maruyama |
| 2013 | Coalgebras with Symmetries and Modelling Quantum Systems. | Daniel Marsden |
| 2013 | A Simple Case of Rationality of Escalation. | Pierre Lescanne |
| 2013 | A Timed CTL Model Checker for Real-Time Maude. | Daniela Lepri, Erika brahm, Peter Csaba lveczky |
| 2013 | Full Abstraction for Fair Testing in CCS. | Tom Hirschowitz |
| 2013 | Simulations and Bisimulations for Coalgebraic Modal Logics. | Daniel Gorn, Lutz Schrder |