Víctor M. Gulías

	2009
32		Javier París, Víctor M. Gulías, Carlos Abalde: A Distributed System for Massive Generation of Synthetic Video Using GPUs. EUROCAST 2009: 239-246
31		Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías: A Practical Methodology for Integration Testing. EUROCAST 2009: 881-888
30		J. Santiago Jorge, Víctor M. Gulías, José Luis Freire: Certifying properties of an efficient functional program for computing Gröbner bases. J. Symb. Comput. 44(5): 571-582 (2009)
	2008
29		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		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		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		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		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		Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge: A Distributed Filesystem for Spare Storage. EUROCAST 2007: 249-256
23		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		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		Javier París, Víctor M. Gulías, Carlos Abalde: CheapTB: A Low Cost of Operation Distributed Filesystem. EUROCAST 2005: 121-130
18		Javier París, Víctor M. Gulías, Alberto Valderruten: A high performance Erlang Tcp/Ip stack. Erlang Workshop 2005: 52-61
17		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		Simón Neira, Víctor M. Gulías: Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. UCS 2004: 37-48
	2003
15		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		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		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		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		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		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		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

Coauthor Index

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

Colors in the list of coauthors