| 2009 | Views on Behaviour Protocols and Their Semantic Foundation. | Sebastian S. Bauer, Rolf Hennicker |
| 2009 | Unfolding Grammars in Adhesive Categories. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2009 | DBtk: A Toolkit for Directed Bigraphs. | Giorgio Bacci, Davide Grohmann, Marino Miculan |
| 2009 | Algebras for Parameterised Monads. | Robert Atkey |
| 2009 | Semantics of Higher-Order Recursion Schemes. | Jir Admek, Stefan Milius, Jir Velebil |
| 2007 | Symmetry and Concurrency. | Glynn Winskel |
| 2007 | Bootstrapping Types and Cotypes in HasCASL. | Lutz Schrder |
| 2007 | Coalgebraic Foundations of Linear Systems. | Jan J. M. M. Rutten |
| 2007 | An Institutional Version of Gdel's Completeness Theorem. | Marius Petria |
| 2007 | Nabla Algebras and Chu Spaces. | Alessandra Palmigiano, Yde Venema |
| 2007 | Observing Distributed Computation. A Dynamic-Epistemic Approach. | Radu Mardare |
| 2007 | CIRC : A Circular Coinductive Prover. | Dorel Lucanu, Grigore Rosu |
| 2007 | Specification-Based Testing for CoCasl's Modal Specifications. | Delphine Longuet, Marc Aiguier |
| 2007 | The Goldblatt-Thomason Theorem for Coalgebras. | Alexander Kurz, Jir Rosick |
| 2007 | Applications of Metric Coinduction. | Dexter Kozen, Nicholas Ruozzi |
| 2007 | Deriving Bisimulation Congruences with Borrowed Contexts. | Barbara Knig |
| 2007 | Quasitoposes, Quasiadhesive Categories and Artin Glueing. | Peter T. Johnstone, Stephen Lack, Pawel Sobocinski |
| 2007 | Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. | Neal A. Harman |
| 2007 | Bisimulation for Neighbourhood Structures. | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
| 2007 | Parametric (Co)Iteration vs. Primitive Direcursion. | Johan Glimming |
| 2007 | A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. | Andreas Glausch, Wolfgang Reisig |
| 2007 | Higher Dimensional Trees, Algebraically. | Neil Ghani, Alexander Kurz |
| 2007 | Graphical Encoding of a Spatial Logic for the | Fabio Gadducci, Alberto Lluch-Lafuente |
| 2007 | Structured Co-spans: An Algebra of Interaction Protocols. | Jos Luiz Fiadeiro, Vincent Schmitt |
| 2007 | Bifinite Chu Spaces. | Manfred Droste, Guo-Qiang Zhang |