A Fast Algebraic Web Verification Service. - María Alpuente; Demis Ballis; Moreno Falaschi; Pedro Ojeda; Daniel Romero 001 (RR, 2007)

A Modular Equational Generalization Algorithm. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Pedro Ojeda (LOPSTR, 2008)

An Abstract Generic Framework for Web Site Verification. - María Alpuente; Pedro Ojeda; Daniel Romero 001; Demis Ballis; Moreno Falaschi (SAINT, 2008)

A Tool for Automated Certification of Java Source Code in Maude. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001; Pedro Ojeda; Daniel Romero 001 (PROLE, 2008)

Order-Sorted Generalization. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Pedro Ojeda (WFLP, 2008)