Víctor M. Gulías

Publication Activity (10 Years)

Years Active: 1994-2015
Publications (10 Years): 0

Top Topics

Arithmetic Coding

Aspects Of Data Mining

Top Venues

Electron. Notes Theor. Comput. Sci.

Multim. Tools Appl.

Publications

Samuel Rivas, Víctor M. Gulías, Carlos Abalde
A versatile multiplexing algorithm exclusively based on the MPEG-2 systems layer. MSAN (2015)
Pablo Montero, Víctor M. Gulías, Javier Taibo, Samuel Rivas
Optimising lossless stages in a GPU-based MPEG encoder. Multim. Tools Appl. 65 (3) (2013)
Puri Arenas, Víctor M. Gulías
Preface. Electron. Notes Theor. Comput. Sci. 282 (2012)
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. Electron. Notes Theor. Comput. Sci. 271 (2011)
Víctor M. Gulías, Josep Silva Galiana
Preface. Electron. Notes Theor. Comput. Sci. 271 (2011)
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)
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)
Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías
Property driven development in Erlang, by example. AST (2010)
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
A Practical Methodology for Integration Testing. EUROCAST (2009)
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)
Javier París, Víctor M. Gulías, Carlos Abalde
A Distributed System for Massive Generation of Synthetic Video Using GPUs. EUROCAST (2009)
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) (2009)
Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge
Managing the Risks of Risk Management. J. Decis. Syst. 17 (4) (2008)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW (2008)
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)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) (2007)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST (2007)
Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge
A Distributed Filesystem for Spare Storage. EUROCAST (2007)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST (2007)
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)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro
Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC (2007)
Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
Formalisation of a Functional Risk Management System. ICEIS (3) (2006)
Javier París, Víctor M. Gulías, Carlos Abalde
CheapTB: A Low Cost of Operation Distributed Filesystem. EUROCAST (2005)
Javier París, Alberto Valderruten, Víctor M. Gulías
Developing a functional Tcp/Ip stack oriented towards TCP connection replication. LANC (2005)
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) (2005)
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)
Javier París, Víctor M. Gulías, Alberto Valderruten
A high performance Erlang Tcp/Ip stack. Erlang Workshop (2005)
Simón Neira, Víctor M. Gulías
Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. UCS (2004)
Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez
Lambda Goes to Hollywood. PADL (2003)
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)
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)
Víctor M. Gulías, Alberto Valderruten, Carlos Abalde
Building functional patterns for implementing distributed applications. LANC (2003)
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)
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) (2002)
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)
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)
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)
Ramón Castro, Xesús M. López, Víctor M. Gulías
An ODBC Interface for Objective Caml. APPIA-GULP-PRODE (1998)
Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire
From Sequential to Distributed Formal Proofs. EUROCAST (1997)
Víctor M. Gulías, Juan J. Quintela, José Luis Freire
Transport Primitives for Functional Agents. APPIA-GULP-PRODE (1997)
Víctor M. Gulías, Juan J. Quintela, José Luis Freire
Towards High-Order Distribution in Functional Languages. APPIA-GULP-PRODE (1996)
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)
José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías
Extending CAML Light to Perform Distributed Computation. GULP-PRODE (1995)
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)