Víctor M. Gulías

	2011
37		Javier Taibo, Víctor M. Gulías, Pablo Montero, Samuel Rivas: GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams. NOSSDAV 2011: 75-80
36		Víctor M. Gulías, Josep Silva Galiana: Preface. Electr. Notes Theor. Comput. Sci. 271: 1-2 (2011)
35		David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas: A Case Study on Verifying a Supervisor Component Using McErlang. Electr. Notes Theor. Comput. Sci. 271: 23-40 (2011)
	2010
34		Pablo Montero, Javier Taibo, Víctor M. Gulías, Samuel Rivas: Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder. ISM 2010: 97-104
	2009
33		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
32		Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías: A Practical Methodology for Integration Testing. EUROCAST 2009: 881-888
31		John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271
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] [33]
2	Thomas Arts	[31]
3	J. M. Molinelli Barba (J. M. Molinelli)	[1]
4	Miguel Barreiro	[9] [17]
5	Jacobo Barro	[10] [11]
6	Ramón Basanta	[12]
7	José E. Freire Brañas	[14]
8	David Castro	[35]
9	Laura M. Castro	[21] [22] [23] [25] [26] [27] [28] [29] [32]
10	R. Castro	[8]
11	Francesco Cesarini	[31]
12	John Derrick	[31]
13	Ramon Doallo	[10] [11]
14	Clara Benac Earle	[31] [35]
15	Antonio Blanco Ferro	[14]
16	Basilio B. Fraguela	[2]
17	Miguel A. Francisco	[32]
18	Lars-Åke Fredlund (Lars-åke Fredlund)	[31] [35]
19	José Luis Freire-Nistal (José Luis Freire)	[1] [2] [3] [4] [5] [6] [14] [15] [17] [20] [30]
20	Josep Silva Galiana	[36]
21	J. García-Tizón	[15]
22	Andreas Hadjioannou	[12]
23	John Hughes	[31]
24	J. Santiago Jorge	[5] [9] [20] [22] [24] [25] [27] [29] [30]
25	Xesús M. López	[3] [8]
26	Pablo Montero	[34] [37]
27	Javier Mosquera	[7]
28	Simón Neira	[16]
29	Javier París	[18] [19] [24] [33]
30	Sergio Pazos	[12]
31	Agis Piperides	[12]
32	Andreas Pitsiliides	[12]
33	Juan J. Quintela	[4] [5] [6]
34	Samuel Rivas	[34] [35] [37]
35	Paz Ruiz	[12]
36	Juan J. Sánchez	[9] [13] [15] [20]
37	Javier Taibo	[34] [37]
38	Simon J. Thompson	[31]
39	Juan Touriño	[10] [11]
40	Alberto Valderruten	[7] [18] [24]
41	Carlos Varela	[21]
42	Neil Walkinshaw	[31]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page