Víctor M. Gulías

46 papers B 1C 4Misc 1Journal 5Unranked 33

Year	Rank	Type	Title / Venue / Authors
2015	—	`conf`	A versatile multiplexing algorithm exclusively based on the MPEG-2 systems layer. MSAN Samuel Rivas, Víctor M. Gulías, Carlos Abalde
2013	J	`jnl`	Optimising lossless stages in a GPU-based MPEG encoder. Multim. Tools Appl. Pablo Montero, Víctor M. Gulías, Javier Taibo, Samuel Rivas
2012	—	`ed.`	Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011 PROLE Puri Arenas, Víctor M. Gulías
2011	B	`conf`	GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams. NOSSDAV Javier Taibo, Víctor M. Gulías, Pablo Montero, Samuel Rivas
2011	—	`conf`	Preface. PROLE Puri Arenas, Víctor M. Gulías
2011	—	`ed.`	Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010 PROLE Víctor M. Gulías, Josep Silva Galiana
2010	—	`conf`	A Case Study on Verifying a Supervisor Component Using McErlang. PROLE David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
2010	C	`conf`	Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder. ISM Pablo Montero, Javier Taibo, Víctor M. Gulías, Samuel Rivas
2010	—	`conf`	Preface. PROLE Víctor M. Gulías, Josep Silva Galiana
2010	—	`conf`	Property driven development in Erlang, by example. AST@ICSE Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías
2009	—	`conf`	A Distributed System for Massive Generation of Synthetic Video Using GPUs. EUROCAST Javier París, Víctor M. Gulías, Carlos Abalde
2009	—	`conf`	A Practical Methodology for Integration Testing. EUROCAST Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
2009	J	`jnl`	Certifying properties of an efficient functional program for computing Gröbner bases. J. Symb. Comput. J. Santiago Jorge, Víctor M. Gulías, José Luis Freire
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2008	C	`conf`	Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2008	J	`jnl`	Managing the Risks of Risk Management. J. Decis. Syst. Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge
2008	—	`conf`	Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	A Distributed Filesystem for Spare Storage. EUROCAST Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge
2007	—	`conf`	Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
2007	C	`conf`	Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2006	—	`conf`	Formalisation of a Functional Risk Management System. ICEIS (3) Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
2005	—	`conf`	A high performance Erlang Tcp/Ip stack. Erlang Workshop Javier París, Víctor M. Gulías, Alberto Valderruten
2005	—	`conf`	CheapTB: A Low Cost of Operation Distributed Filesystem. EUROCAST Javier París, Víctor M. Gulías, Carlos Abalde
2005	—	`conf`	Developing a functional Tcp/Ip stack oriented towards TCP connection replication. LANC Javier París, Alberto Valderruten, Víctor M. Gulías
2005	—	`conf`	Towards a Certified and Efficient Computing of Gröbner Bases. EUROCAST J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez
2005	J	`jnl`	VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. J. Funct. Program. Víctor M. Gulías, Miguel Barreiro, José Luis Freire
2004	—	`conf`	Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. UCS Simón Neira, Víctor M. Gulías
2003	—	`conf`	Building functional patterns for implementing distributed applications. LANC Víctor M. Gulías, Alberto Valderruten, Carlos Abalde
2003	—	`conf`	Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. EUROCAST Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón
2003	C	`conf`	Lambda Goes to Hollywood. PADL Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez
2003	—	`conf`	On the Strong Co-induction in Coq. EUROCAST José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas
2002	—	`conf`	E-Minder: Electronic Commerce Leveraging Network for Developing European Regions. ICWI Ramón Basanta, Agis Piperides, Andreas Hadjioannou, Andreas Pitsiliides, Sergio Pazos, Víctor M. Gulías, Paz Ruiz
2002	J	`jnl`	Performance Modeling and Evaluation of MPI-I/O on a Cluster. J. Inf. Sci. Eng. Jacobo Barro, Juan Touriño, Ramon Doallo, Víctor M. Gulías
2002	Misc	`conf`	Performance analysis of MPI-I/O primitives on a PC cluster. SAC Juan Touriño, Jacobo Barro, Ramon Doallo, Víctor M. Gulías
2001	—	`conf`	The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. EUROCAST Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge
1998	—	`conf`	An ODBC Interface for Objective Caml. APPIA-GULP-PRODE Ramón Castro, Xesús M. López, Víctor M. Gulías
1998	—	`conf`	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. Computer Performance Evaluation (Tools) Alberto Valderruten, Javier Mosquera, Víctor M. Gulías
1997	—	`conf`	From Sequential to Distributed Formal Proofs. EUROCAST Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire
1997	—	`conf`	Transport Primitives for Functional Agents. APPIA-GULP-PRODE Víctor M. Gulías, Juan J. Quintela, José Luis Freire
1996	—	`conf`	Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. JIDBD José Luis Freire, Víctor M. Gulías, Xesús M. López
1996	—	`conf`	Towards High-Order Distribution in Functional Languages. APPIA-GULP-PRODE Víctor M. Gulías, Juan J. Quintela, José Luis Freire
1995	—	`conf`	Extending CAML Light to Perform Distributed Computation. GULP-PRODE José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías
1994	—	`conf`	Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. GULP-PRODE (2) José Luis Freire, Víctor M. Gulías, J. M. Molinelli