| 1 | -- | 3 | Grigore Rosu. Preface |
| 5 | -- | 22 | Oana Agrigoroaiei, Gabriel Ciobanu. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors |
| 23 | -- | 43 | Oana Andrei, Dorel Lucanu. Strategy-Based Proof Calculus for Membrane Systems |
| 45 | -- | 62 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari. Hierarchical Design Rewriting with Maude |
| 63 | -- | 81 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo. A Declarative Debugger for Maude Functional Modules |
| 83 | -- | 102 | Francisco Durán, Peter Csaba Ölveczky. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude |
| 103 | -- | 119 | Santiago Escobar, José Meseguer, Ralf Sasse. Variant Narrowing and Equational Unification |
| 121 | -- | 138 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras. Patterns for Maude Metalanguage Applications |
| 139 | -- | 154 | Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories |
| 155 | -- | 172 | Mark Hills. Memory Representations in Rewriting Logic Semantics Definitions |
| 173 | -- | 188 | Bjarne Holen, Einar Broch Johnsen, Arild Waaler. Proof Search for the First-Order Connection Calculus in Maude |
| 189 | -- | 205 | Matthias M. Hölzl, Max Meier, Martin Wirsing. Which Soft Constraints do you Prefer? |
| 207 | -- | 225 | Salvador Lucas, José Meseguer. Operational Termination of Membership Equational Programs: the Order-Sorted Way |
| 227 | -- | 247 | Narciso Martí-Oliet, José Meseguer, Alberto Verdejo. A Rewriting Semantics for Maude Strategies |
| 249 | -- | 266 | Adrián Riesco, Alberto Verdejo. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol |
| 281 | -- | 291 | Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. The Second Rewrite Engines Competition |