New short and efficient algorithm for testing random-access memories. - Mohamed Azimane; Antonio Lloris Ruiz (ICECS, 1998)

A special march test to detect delay coupling faults for RAMs. - Mohamed Azimane; Antonio Lloris Ruiz (ICECS, 2001)

Arithmetic and Algebraic Circuits - Antonio Lloris Ruiz; Encarnación Castillo Morales; Luís Parrilla Roure; Antonio García Ríos; María José Lloris Meseguer (Springer, 2021)