A Prolog interpreter for OR parallelism evaluation on distributed systems. - Vicente Benjumea; Manuel Roldán; José M. Troya (PDP, 1993)

Invariant-Driven Strategies for Maude. - Francisco Durán 001; Manuel Roldán; Antonio Vallecillo (WRS, 2004)

Using Maude to write and execute ODP information viewpoint specifications. - Francisco Durán 001; Manuel Roldán; Antonio Vallecillo (Comput. Stand. Interfaces, 2005)

The Second Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Emilie Balland; Mark van den Brand; Steven Eker; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; Ruslan Schevchenko; Eelco Visser (WRLA, 2008)

Invariant-driven specifications in Maude. - Manuel Roldán; Francisco Durán 001; Antonio Vallecillo (Sci. Comput. Program., 2009)

The Third Rewrite Engines Competition. - Francisco Durán 001; Manuel Roldán; Jean-Christophe Bach; Emilie Balland; Mark van den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje de Jonge; Karl Trygve Kalleberg; Lennart C. L. Kats; Pierre-Etienne Moreau; et al. (WRLA, 2010)

Tracing Properties of UML and OCL Models with Maude - Francisco Durán 001; Martin Gogolla; Manuel Roldán (AMMSE, 2011)

Dynamic Validation of OCL Constraints with mOdCL. - Manuel Roldán; Francisco Durán 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Dynamic Validation of Maude Prototypes of UML Models. - Francisco Durán 001; Manuel Roldán; Antonio Moreno-Delgado; José María Álvarez 002 (Specification, Algebra, and Software, 2014)