| 2005 |
|---|
| 5 | EE | J. Santiago Jorge,
Víctor M. Gulías,
José Luis Freire,
Juan J. Sánchez:
Towards a Certified and Efficient Computing of Gröbner Bases.
EUROCAST 2005: 111-120 |
| 2003 |
|---|
| 4 | EE | Carlos Abalde,
Víctor M. Gulías,
José Luis Freire,
Juan J. Sánchez,
J. García-Tizón:
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel.
EUROCAST 2003: 220-230 |
| 3 | EE | Víctor M. Gulías,
Carlos Abalde,
Juan J. Sánchez:
Lambda Goes to Hollywood.
PADL 2003: 391-407 |
| 2001 |
|---|
| 2 | EE | Miguel Barreiro,
Víctor M. Gulías,
Juan J. Sánchez,
J. Santiago Jorge:
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.
EUROCAST 2001: 540-554 |
| 1 | EE | Juan J. Quintela,
Juan J. Sánchez:
Persistent Haskell.
EUROCAST 2001: 657-667 |
