| 2007 | The Maude Formal Tool Environment. | Manuel Clavel, Francisco Durn, Joe Hendrix, Salvador Lucas, Jos Meseguer, Peter Csaba lveczky |
| 2007 | Coalgebraic Epistemic Update Without Change of Model. | Corina Crstea, Mehrnoosh Sadrzadeh |
| 2007 | Logical Semantics of Types for Concurrency. | Lus Caires |
| 2007 | Regular and Algebraic Words and Ordinals. | Stephen L. Bloom, Zoltn sik |
| 2007 | Free Modal Algebras: A Coalgebraic Perspective. | Nick Bezhanishvili, Alexander Kurz |
| 2007 | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig |
| 2007 | Datatypes in Memory. | David Aspinall, Piotr Hoffman |
| 2007 | Conceptual Data Modeling with Constraints in Maude. | Scott Alexander |
| 2007 | Impossibility Results for the Equational Theory of Timed CCS. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi |
| 2007 | Ready to Preorder: Get Your BCCSP Axiomatization for Free! | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2005 | Property Preserving Redesign of Specifications. | Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko |
| 2005 | Parametrized Exceptions. | Dennis Walter, Lutz Schrder, Till Mossakowski |
| 2005 | Bireachability and Final Multialgebras. | Michal Walicki |
| 2005 | Final Sequences and Final Coalgebras for Measurable Spaces. | Ignacio D. Viglizzo |
| 2005 | Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. | Prasanna Thati, Jos Meseguer |
| 2005 | Final Semantics for Event-Pattern Reactive Programs. | Csar Snchez, Henny B. Sipma, Matteo Slanina, Zohar Manna |
| 2005 | Discrete Lawvere Theories. | John Power |
| 2005 | Behavioral Extensions of Institutions. | Andrei Popescu, Grigore Rosu |
| 2005 | Adequacy for Algebraic Effects with State. | Gordon D. Plotkin |
| 2005 | A Categorical Approach to Simulations. | Miguel Palomino, Jos Meseguer, Narciso Mart-Oliet |
| 2005 | The Category Theoretic Solution of Recursive Program Schemes. | Stefan Milius, Lawrence S. Moss |
| 2005 | Equational Logic of Recursive Program Schemes. | John G. Mersch |
| 2005 | On the Semantics of Coinductive Types in Martin-Lf Type Theory. | Federico De Marchi |
| 2005 | Ultrafilter Extensions for Coalgebras. | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
| 2005 | Labels from Reductions: Towards a General Theory. | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |