XML-Based Interoperability Among Symbolic Computation Systems. - Mirian Andrés; Francisco J. García Izquierdo; Vico Pascual; Julio Rubio 001 (ICWI, 2003)

JST: Towards a Usable Web Site Development Method. - Raúl Izquierdo Castanedo; Francisco J. García Izquierdo; Mirian Andrés; Aquilino A. Juan Fuente; P. Manrubia (ICWI, 2003)

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. - Mirian Andrés; Vico Pascual; Ana Romero 001; Julio Rubio 001 (International Conference on Computational Science (3), 2005)

Executing in Common Lisp, Proving in ACL2. - Mirian Andrés; Laureano Lambán; Julio Rubio 001 (Calculemus/MKM, 2007)