| 435 | -- | 436 | Jirí Adámek, Stefan Milius. Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004 |
| 437 | -- | 468 | Venanzio Capretta, Tarmo Uustalu, Varmo Vene. Recursive coalgebras from comonads |
| 469 | -- | 502 | Corina Cîrstea. A modular approach to defining and characterising notions of simulation |
| 503 | -- | 523 | Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden. Bisimulation and cocongruence for probabilistic systems |
| 524 | -- | 560 | Marcelo P. Fiore, Sam Staton. Comparing operational models of name-passing process calculi |
| 561 | -- | 587 | Bart Jacobs. Distributive laws for the coinductive solution of recursive equations |
| 588 | -- | 609 | Marco Kick, John Power, Alex Simpson. Coalgebraic semantics for timed processes |
| 610 | -- | 636 | Lawrence S. Moss, Ignacio D. Viglizzo. Final coalgebras for functors on measurable spaces |
| 637 | -- | 678 | Yde Venema. Automata and fixed point logic: A coalgebraic perspective |