2008 |
29 | 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 |
28 | 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 |
27 | 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 |
26 | 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 |
25 | 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 |
24 | EE | Javier París,
Víctor M. Gulías,
Alberto Valderruten,
J. Santiago Jorge:
A Distributed Filesystem for Spare Storage.
EUROCAST 2007: 249-256 |
23 | EE | Carlos Abalde,
Víctor M. Gulías,
Laura M. Castro:
Extending the VoDKA Architecture with P2P Aggregated Content Management.
ISCC 2007: 1085-1090 |
22 | | 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 |
21 | | Víctor M. Gulías,
Carlos Abalde,
Laura M. Castro,
Carlos Varela:
Formalisation of a Functional Risk Management System.
ICEIS (3) 2006: 516-519 |
2005 |
20 | 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 |
19 | EE | Javier París,
Víctor M. Gulías,
Carlos Abalde:
CheapTB: A Low Cost of Operation Distributed Filesystem.
EUROCAST 2005: 121-130 |
18 | EE | Javier París,
Víctor M. Gulías,
Alberto Valderruten:
A high performance Erlang Tcp/Ip stack.
Erlang Workshop 2005: 52-61 |
17 | EE | Víctor M. Gulías,
Miguel Barreiro,
José Luis Freire:
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.
J. Funct. Program. 15(3): 403-430 (2005) |
2004 |
16 | EE | Simón Neira,
Víctor M. Gulías:
Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments.
UCS 2004: 37-48 |
2003 |
15 | 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 |
14 | EE | José Luis Freire-Nistal,
Antonio Blanco Ferro,
Víctor M. Gulías,
José E. Freire Brañas:
On the Strong Co-induction in Coq.
EUROCAST 2003: 279-290 |
13 | EE | Víctor M. Gulías,
Carlos Abalde,
Juan J. Sánchez:
Lambda Goes to Hollywood.
PADL 2003: 391-407 |
2002 |
12 | | Ramón Basanta,
Agis Piperides,
Andreas Hadjioannou,
Andreas Pitsiliides,
Sergio Pazos,
Víctor M. Gulías,
Paz Ruiz:
E-Minder: Electronic Commerce Leveraging Network for Developing European Regions.
ICWI 2002: 545-550 |
11 | EE | Juan Touriño,
Jacobo Barro,
Ramon Doallo,
Víctor M. Gulías:
Performance analysis of MPI-I/O primitives on a PC cluster.
SAC 2002: 907-912 |
10 | EE | Jacobo Barro,
Juan Touriño,
Ramon Doallo,
Víctor M. Gulías:
Performance Modeling and Evaluation of MPI-I/O on a Cluster.
J. Inf. Sci. Eng. 18(5): 825-836 (2002) |
2001 |
9 | 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 |
1998 |
8 | | R. Castro,
Xesús M. López,
Víctor M. Gulías:
An ODBC Interface for Objective Caml.
APPIA-GULP-PRODE 1998: 189-200 |
7 | EE | Alberto Valderruten,
Javier Mosquera,
Víctor M. Gulías:
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.
Computer Performance Evaluation (Tools) 1998: 129-141 |
1997 |
6 | | Víctor M. Gulías,
Juan J. Quintela,
José Luis Freire:
Transport Primitives for Functional Agents.
APPIA-GULP-PRODE 1997: 501-510 |
5 | | Víctor M. Gulías,
J. Santiago Jorge,
Juan J. Quintela,
José Luis Freire:
From Sequential to Distributed Formal Proofs.
EUROCAST 1997: 501-513 |
1996 |
4 | | Víctor M. Gulías,
Juan J. Quintela,
José Luis Freire:
Towards High-Order Distribution in Functional Languages.
APPIA-GULP-PRODE 1996: 219-232 |
3 | | José Luis Freire,
Víctor M. Gulías,
Xesús M. López:
Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales.
JIDBD 1996: 250-259 |
1995 |
2 | | José Luis Freire,
Basilio B. Fraguela,
Víctor M. Gulías:
Extending CAML Light to Perform Distributed Computation.
GULP-PRODE 1995: 113-124 |
1994 |
1 | | José Luis Freire,
Víctor M. Gulías,
J. M. Molinelli:
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.
GULP-PRODE (2) 1994: 351-365 |