2007 |
4 | EE | Mirian Andrés,
Laureano Lambán,
Julio Rubio:
Executing in Common Lisp, Proving in ACL2.
Calculemus/MKM 2007: 1-12 |
2005 |
3 | EE | Mirian Andrés,
Vico Pascual,
Ana Romero,
Julio Rubio:
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach.
International Conference on Computational Science (3) 2005: 635-642 |
2003 |
2 | | Raúl Izquierdo Castanedo,
Francisco José García Izquierdo,
Mirian Andrés,
Aquilino A. Juan Fuente,
P. Manrubia:
JST: Towards a Usable Web Site Development Method.
ICWI 2003: 515 |
1 | | Mirian Andrés,
Francisco José García Izquierdo,
Vico Pascual,
Julio Rubio:
XML-Based Interoperability Among Symbolic Computation Systems.
ICWI 2003: 925-928 |