| 2013 | Trace Semantics via Generic Observations. | Sergey Goncharov |
| 2013 | Positive Inductive-Recursive Definitions. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
| 2013 | Constructor-Based Inductive Theorem Prover. | Daniel Gin, Min Zhang, Yuki Chiba, Yasuhito Arimoto |
| 2013 | From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. | Robert Furber, Bart Jacobs |
| 2013 | The HI-Maude Tool. | Muhammad Fadlisyah, Peter Csaba lveczky |
| 2013 | Homomorphisms of Coalgebras from Predicate Liftings. | Sebastian Enqvist |
| 2013 | Checking Conservativity with Hets. | Mihai Codescu, Till Mossakowski, Christian Maeder |
| 2013 | Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. | Vincenzo Ciancia |
| 2013 | Presenting Distributive Laws. | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2013 | Saturated Semantics for Coalgebraic Logic Programming. | Filippo Bonchi, Fabio Zanasi |
| 2013 | Automata and Algebras for Infinite Words and Trees. | Mikolaj Bojanczyk |
| 2013 | Many-Valued Relation Lifting and Moss' Coalgebraic Logic. | Marta Blkov, Matej Dostl |
| 2013 | An Effect System for Algebraic Effects and Handlers. | Andrej Bauer, Matija Pretnar |
| 2013 | Positive Fragments of Coalgebraic Logics. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2013 | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. | Andrei Popescu, Johannes Hlzl, Tobias Nipkow |
| 2011 | Context-Free Languages, Coalgebraically. | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2011 | Distributive-Law Semantics for Cellular Automata and Agent-Based Models. | Baltasar Trancn y Widemann, Michael Hauhs |
| 2011 | Generalized Product of Coalgebraic Hybrid Logics. | Katsuhiko Sano |
| 2011 | Proving Safety Properties of Rewrite Theories. | Camilo Rocha, Jos Meseguer |
| 2011 | Linearly-Used State in Models of Call-by-Value. | Rasmus Ejlers Mgelberg, Sam Staton |
| 2011 | Hybridization of Institutions. | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Lus Soares Barbosa |
| 2011 | Shacc: A Functional Prototyper for a Component Calculus. | Andr Martins, Lus Soares Barbosa, Nuno F. Rodrigues |
| 2011 | Preface to CALCO-Tools. | Dorel Lucanu |
| 2011 | WiCcA : LTS Generation Tool for Wire Calculus. | Jennifer Lantair, Pawel Sobocinski |