 | 2009 |
|---|
| 7 |       | Jónathan Heras,
Vico Pascual,
Julio Rubio:
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.
Calculemus/MKM 2009: 467-473 |
| 2008 |
|---|
| 6 | | Jónathan Heras,
Vico Pascual,
Julio Rubio:
Mediated Access to Symbolic Computation Systems.
AISC/MKM/Calculemus 2008: 446-461 |
| 2005 |
|---|
| 5 | | 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 |
|---|
| 4 |  | Mirian Andrés,
Francisco José García Izquierdo,
Vico Pascual,
Julio Rubio:
XML-Based Interoperability Among Symbolic Computation Systems.
ICWI 2003: 925-928 |
| 3 | | Laureano Lambán,
Vico Pascual,
Julio Rubio:
An Object-oriented Interpretation of the EAT System.
Appl. Algebra Eng. Commun. Comput. 14(3): 187-215 (2003) |
| 2001 |
|---|
| 2 | | César Domínguez,
Laureano Lambán,
Vico Pascual,
Julio Rubio:
Hidden Specification of a Functional System.
EUROCAST 2001: 555-569 |
| 1999 |
|---|
| 1 | | Laureano Lambán,
Vico Pascual,
Julio Rubio:
Specifying Implementations.
ISSAC 1999: 245-251 |
