| 2008 |
|---|
| 8 | EE | J. Santiago Jorge,
Víctor M. Gulías,
Laura M. Castro:
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.
AISC/MKM/Calculemus 2008: 296-299 |
| 7 | EE | Laura M. Castro,
Víctor M. Gulías,
Carlos Abalde,
J. Santiago Jorge:
Managing the Risks of Risk Management.
Journal of Decision Systems 17(4): 501-521 (2008) |
| 2007 |
|---|
| 6 | EE | J. Santiago Jorge,
Víctor M. Gulías,
Laura M. Castro:
Verification of Program Properties Using Different Theorem Provers: A Case Study.
EUROCAST 2007: 233-240 |
| 5 | EE | Javier París,
Víctor M. Gulías,
Alberto Valderruten,
J. Santiago Jorge:
A Distributed Filesystem for Spare Storage.
EUROCAST 2007: 249-256 |
| 4 | | J. Santiago Jorge,
Víctor M. Gulías,
Laura M. Castro:
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.
JIISIC 2007: 27-34 |
| 2005 |
|---|
| 3 | 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 |
| 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 |
| 1997 |
|---|
| 1 | | Víctor M. Gulías,
J. Santiago Jorge,
Juan J. Quintela,
José Luis Freire:
From Sequential to Distributed Formal Proofs.
EUROCAST 1997: 501-513 |
