| 2005 | A Categorical Approach to Simulations. Miguel Palomino, José Meseguer, Narciso Martí-Oliet |
| 2005 | Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. Samson Abramsky |
| 2005 | Adequacy for Algebraic Effects with State. Gordon D. Plotkin |
| 2005 | Algebra 'cap' Coalgebra = Presheaves. Jirí Adámek |
| 2005 | Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten |
| 2005 | An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. Anthony C. J. Fox |
| 2005 | Behavioral Extensions of Institutions. Andrei Popescu, Grigore Rosu |
| 2005 | Bireachability and Final Multialgebras. Michal Walicki |
| 2005 | Bisimilarity Is Not Finitely Based over BPA with Interrupt. Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain |
| 2005 | Complete Axioms for Stateless Connectors. Roberto Bruni, Ivan Lanese, Ugo Montanari |
| 2005 | Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. Prasanna Thati, José Meseguer |
| 2005 | Context-Free Languages via Coalgebraic Trace Semantics. Ichiro Hasuo, Bart Jacobs |
| 2005 | Discrete Lawvere Theories. John Power |
| 2005 | Equational Logic of Recursive Program Schemes. John G. Mersch |
| 2005 | Final Semantics for Event-Pattern Reactive Programs. César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna |
| 2005 | Final Sequences and Final Coalgebras for Measurable Spaces. Ignacio D. Viglizzo |
| 2005 | From H. Peter Gumm |
| 2005 | Labels from Reductions: Towards a General Theory. Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
| 2005 | Look: Simple Stochastic Relations Are Just, Well, Simple. Ernst-Erich Doberkat |
| 2005 | Modelling Fusion Calculus using HD-Automata. Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane |
| 2005 | On the Semantics of Coinductive Types in Martin-Löf Type Theory. Federico De Marchi |
| 2005 | Parametrized Exceptions. Dennis Walter, Lutz Schröder, Till Mossakowski |
| 2005 | Property Preserving Redesign of Specifications. Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko |
| 2005 | Strong Splitting Bisimulation Equivalence. Jan A. Bergstra, Cornelis A. Middelburg |
| 2005 | The Category Theoretic Solution of Recursive Program Schemes. Stefan Milius, Lawrence S. Moss |
| 2005 | The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. Bartek Klin |
| 2005 | Towards a Coalgebraic Semantics of the Ambient Calculus. Daniel Hausmann, Till Mossakowski, Lutz Schröder |
| 2005 | Ultrafilter Extensions for Coalgebras. Clemens Kupke, Alexander Kurz, Dirk Pattinson |
| 2005 | Using Proofs by Coinduction to Find "Traditional" Proofs. Clemens Grabmayer |