| 2009 | A Duality Theorem for Real M. Andrew Moshier, Daniela Petrisan |
| 2009 | A Semantical Approach to Equilibria and Rationality. Dusko Pavlovic |
| 2009 | A Tool Proving Well-Definedness of Streams Using Termination Tools. Hans Zantema |
| 2009 | Adequacy for Infinitary Algebraic Effects (Abstract). Gordon D. Plotkin |
| 2009 | Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings Alexander Kurz, Marina Lenisa, Andrzej Tarlecki |
| 2009 | Algebras for Parameterised Monads. Robert Atkey |
| 2009 | Approximating Labelled Markov Processes Again! Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | CIRC: A Behavioral Verification Tool Based on Circular Coinduction. Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
| 2009 | Characterising Behavioural Equivalence: Three Sides of One Coin. Clemens Kupke, Raul Andres Leal |
| 2009 | Circular Coinduction: A Proof Theoretical Foundation. Grigore Rosu, Dorel Lucanu |
| 2009 | Coalgebraic Components in a Many-Sorted Microcosm. Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
| 2009 | Coalgebraic Symbolic Semantics. Filippo Bonchi, Ugo Montanari |
| 2009 | Complementation of Coalgebra Automata. Christian Kissig, Yde Venema |
| 2009 | Complete Iterativity for Algebras with Effects. Stefan Milius, Thorsten Palm, Daniel Schwencke |
| 2009 | Constraint-Muse: A Soft-Constraint Based System for Music Therapy. Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing |
| 2009 | Constructor-Based Institutions. Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata |
| 2009 | Conway Games, Coalgebraically. Furio Honsell, Marina Lenisa |
| 2009 | Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
| 2009 | DBtk: A Toolkit for Directed Bigraphs. Giorgio Bacci, Davide Grohmann, Marino Miculan |
| 2009 | Distributive Lattice-Structured Ontologies. Hans Bruun, Dion Coumans, Mai Gehrke |
| 2009 | Free Heyting Algebras: Revisited. Nick Bezhanishvili, Mai Gehrke |
| 2009 | Kleene Monads: Handling Iteration in a Framework of Generic Effects. Sergey Goncharov, Lutz Schröder, Till Mossakowski |
| 2009 | Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). Conor McBride |
| 2009 | Non-strongly Stable Orders Also Define Interesting Simulation Relations. Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | Relating Coalgebraic Notions of Bisimulation. Sam Staton |
| 2009 | Semantics of Higher-Order Recursion Schemes. Jirí Adámek, Stefan Milius, Jirí Velebil |
| 2009 | Stone Duality and the Recognisable Languages over an Algebra. Mai Gehrke |
| 2009 | The Priced-Timed Maude Tool. Leon Bendiksen, Peter Csaba Ölveczky |
| 2009 | Traces, Executions and Schedulers, Coalgebraically. Bart Jacobs, Ana Sokolova |
| 2009 | Unfolding Grammars in Adhesive Categories. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski |
| 2009 | Van Kampen Colimits as Bicolimits in Span. Tobias Heindel, Pawel Sobocinski |
| 2009 | Views on Behaviour Protocols and Their Semantic Foundation. Sebastian S. Bauer, Rolf Hennicker |
| 2009 | Weak Bisimilarity Coalgebraically. Andrei Popescu |