| Santiago Escobar, Jose Meseguer and Ralf Sasse. Variant Narrowing and Equational Unification |
| Adrian Riesco and Alberto Verdejo. Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol |
| Lars Helge HaB and Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories |
| Bjarne Holen, Einar Broch Johnsen and Arild Waaler. Proof Search for the First-Order Connection Method in Maude |
| Rafael Caballero, Narciso Marti-Oliet, Adrian Riesco and Alberto Verdejo. A declarative debugger for Maude functional modules |
| Alberto Lluch Lafuente, Roberto Bruni and Ugo Montanari. Hierarchical Design Rewriting with Maude |
| Oana Agrigoroaiei and Gabriel Ciobanu. Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors |
| Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei and Gheorghe Grigoras. Patterns for Maude Applications |
| Salvador Lucas and Jose Meseguer. Operational Termination of Membership Equational Programs: the Order-Sorted Way |
| Narciso Marti-Oliet, Jose Meseguer and Alberto Verdejo. A Rewriting Semantics for Maude Strategies |
| Oana Andrei and Dorel Lucanu. Strategy-Based Proof Calculus for Membrane Systems |
| Francisco Duran and Peter Csaba Olveczky. A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude |
| Dilia E. Rodriguez. Combining Techniques to Reduce State Space and Prove Strong Properties |
| Mark Hills. Memory Representations in Rewriting Logic Semantics Definitions |
| Matthias Hoelzl, Max Meier and Martin Wirsing. Which Soft Constraints do you Prefer? |