Model-Checking Web Applications with Web-TLR. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (ATVA, 2010)

Backward Trace Slicing for Rewriting Logic Theories. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CADE, 2011)

Dynamic Backward Slicing of Rewriting Logic Computations - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CoRR, 2011)

Debugging of Web Applications with Web-TLR - María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero 001 (WWV, 2011)

Detecting Modular ACU Structural Symmetries. - María Alpuente; Santiago Escobar 001; Javier Espert (UNIF@RTA/TLCA, 2013)

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. - María Alpuente; Santiago Escobar 001; Javier Espert; José Meseguer 001 (JELIA, 2014)

A modular order-sorted equational generalization algorithm. - María Alpuente; Santiago Escobar 001; Javier Espert; José Meseguer 001 (Inf. Comput., 2014)