dblp.uni-trier.dewww.uni-trier.de

Víctor M. Gulías

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
29EEJ. 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
28EECarlos Abalde, Víctor M. Gulías, Laura M. Castro: Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW 2008: 370-376
27EELaura 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
26EECarlos Abalde, Víctor M. Gulías, Laura M. Castro: Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST 2007: 217-224
25EEJ. 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
24EEJavier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge: A Distributed Filesystem for Spare Storage. EUROCAST 2007: 249-256
23EECarlos 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
20EEJ. 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
19EEJavier París, Víctor M. Gulías, Carlos Abalde: CheapTB: A Low Cost of Operation Distributed Filesystem. EUROCAST 2005: 121-130
18EEJavier París, Víctor M. Gulías, Alberto Valderruten: A high performance Erlang Tcp/Ip stack. Erlang Workshop 2005: 52-61
17EEVí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
16EESimón Neira, Víctor M. Gulías: Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. UCS 2004: 37-48
2003
15EECarlos 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
14EEJosé 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
13EEVí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
11EEJuan 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
10EEJacobo 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
9EEMiguel 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
7EEAlberto 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

Coauthor Index

1Carlos Abalde [13] [15] [19] [21] [23] [26] [27] [28]
2Miguel Barreiro [9] [17]
3Jacobo Barro [10] [11]
4Ramón Basanta [12]
5José E. Freire Brañas [14]
6Laura M. Castro [21] [22] [23] [25] [26] [27] [28] [29]
7R. Castro [8]
8Ramon Doallo [10] [11]
9Antonio Blanco Ferro [14]
10Basilio B. Fraguela [2]
11José Luis Freire-Nistal (José Luis Freire) [1] [2] [3] [4] [5] [6] [14] [15] [17] [20]
12J. García-Tizón [15]
13Andreas Hadjioannou [12]
14J. Santiago Jorge [5] [9] [20] [22] [24] [25] [27] [29]
15Xesús M. López [3] [8]
16J. M. Molinelli [1]
17Javier Mosquera [7]
18Simón Neira [16]
19Javier París [18] [19] [24]
20Sergio Pazos [12]
21Agis Piperides [12]
22Andreas Pitsiliides [12]
23Juan J. Quintela [4] [5] [6]
24Paz Ruiz [12]
25Juan J. Sánchez [9] [13] [15] [20]
26Juan Touriño [10] [11]
27Alberto Valderruten [7] [18] [24]
28Carlos Varela [21]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)