| 2008 |
|---|
| 10 | 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 |
| 9 | EE | Carlos Abalde,
Víctor M. Gulías,
Laura M. Castro:
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs.
ICIW 2008: 370-376 |
| 8 | 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 |
|---|
| 7 | EE | Carlos Abalde,
Víctor M. Gulías,
Laura M. Castro:
Towards a Decentralized and Structured Network of P2P Public Information Screens.
EUROCAST 2007: 217-224 |
| 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 | Carlos Abalde,
Víctor M. Gulías,
Laura M. Castro:
Extending the VoDKA Architecture with P2P Aggregated Content Management.
ISCC 2007: 1085-1090 |
| 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 |
| 2006 |
|---|
| 3 | | Víctor M. Gulías,
Carlos Abalde,
Laura M. Castro,
Carlos Varela:
Formalisation of a Functional Risk Management System.
ICEIS (3) 2006: 516-519 |
| 2004 |
|---|
| 2 | EE | Carlos Varela,
Carlos Abalde,
Laura M. Castro,
Jose Gulías:
On modelling agent systems with Erlang.
Erlang Workshop 2004: 65-70 |
| 2003 |
|---|
| 1 | EE | David Cabrero,
Carlos Abalde,
Carlos Varela,
Laura M. Castro:
ARMISTICE: an experience developing management software with Erlang.
Erlang Workshop 2003: 23-28 |
