| 2011 | Coalgebraic Semantics for Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2011 | A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. | Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
| 2011 | Bases as Coalgebras. | Bart Jacobs |
| 2011 | The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. | Ichiro Hasuo |
| 2011 | Infinite Computation, Co-induction and Computational Logic. | Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
| 2011 | A Counterexample to Tensorability of Effects. | Sergey Goncharov, Lutz Schrder |
| 2011 | Stone Duality for Nominal Boolean Algebras with И. | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
| 2011 | Indexed Induction and Coinduction, Fibrationally. | Clment Fumex, Neil Ghani, Patricia Johann |
| 2011 | Solving Fixed-Point Equations by Derivation Tree Analysis. | Javier Esparza, Michael Luttenberger |
| 2011 | Tool Interoperability in the Maude Formal Environment. | Francisco Durn, Camilo Rocha, Jos Mara lvarez |
| 2011 | Abstract Local Reasoning for Program Modules. | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
| 2011 | On the Fusion of Coalgebraic Logics. | Fredrik Dahlqvist, Dirk Pattinson |
| 2011 | Refinement Trees: Calculi, Tools, and Applications. | Mihai Codescu, Till Mossakowski |
| 2011 | Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. | Corina Crstea |
| 2011 | Relation Liftings on Preorders and Posets. | Marta Blkov, Alexander Kurz, Daniela Petrisan, Jir Velebil |
| 2011 | Model Constructions for Moss' Coalgebraic Logic. | Jort Bergfeld, Yde Venema |
| 2011 | Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. | Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
| 2011 | Finitary Functors: From Set to Preord and Poset. | Adriana Balan, Alexander Kurz |
| 2011 | On the Statistical Thermodynamics of Reversible Communicating Processes. | Giorgio Bacci, Vincent Danos, Ohad Kammar |
| 2011 | PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. | Musab AlTurki, Jos Meseguer |
| 2011 | A Categorical Semantics for Inductive-Inductive Definitions. | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2011 | From Corecursive Algebras to Corecursive Monads. | Jir Admek, Mahdieh Haddadi, Stefan Milius |
| 2011 | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2009 | A Tool Proving Well-Definedness of Streams Using Termination Tools. | Hans Zantema |
| 2009 | Relating Coalgebraic Notions of Bisimulation. | Sam Staton |