| 2009 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio: Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461 | |
| 1 | Vico Pascual | [1] [2] |
| 2 | Julio Rubio (Julio Rubio Garcia) | [1] [2] |