Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. - José Luis Freire; Víctor M. Gulías; J. M. Molinelli (GULP-PRODE (2), 1994)

Extending CAML Light to Perform Distributed Computation. - José Luis Freire; Basilio B. Fraguela; Víctor M. Gulías (GULP-PRODE, 1995)

Towards High-Order Distribution in Functional Languages. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1996)

Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. - José Luis Freire; Víctor M. Gulías; Xesús M. López (JIDBD, 1996)

Transport Primitives for Functional Agents. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1997)

From Sequential to Distributed Formal Proofs. - Víctor M. Gulías; J. Santiago Jorge; Juan J. Quintela; José Luis Freire (EUROCAST, 1997)

An ODBC Interface for Objective Caml. - Ramón Castro; Xesús M. López; Víctor M. Gulías (APPIA-GULP-PRODE, 1998)

Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. - Alberto Valderruten; Javier Mosquera; Víctor M. Gulías (Computer Performance Evaluation (Tools), 1998)

The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. - Miguel Barreiro; Víctor M. Gulías; Juan J. Sánchez; J. Santiago Jorge (EUROCAST, 2001)

E-Minder: Electronic Commerce Leveraging Network for Developing European Regions. - Ramón Basanta; Agis Piperides; Andreas Hadjioannou; Andreas Pitsiliides; Sergio Pazos; Víctor M. Gulías; Paz Ruiz (ICWI, 2002)

Performance analysis of MPI-I/O primitives on a PC cluster. - Juan Touriño; Jacobo Barro; Ramon Doallo; Víctor M. Gulías (SAC, 2002)

Performance Modeling and Evaluation of MPI-I/O on a Cluster. - Jacobo Barro; Juan Touriño; Ramon Doallo; Víctor M. Gulías (J. Inf. Sci. Eng., 2002)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. - Carlos Abalde; Víctor M. Gulías; José Luis Freire; Juan J. Sánchez; J. García-Tizón (EUROCAST, 2003)

On the Strong Co-induction in Coq. - José Luis Freire-Nistal; Antonio Blanco Ferro; Víctor M. Gulías; José E. Freire Brañas (EUROCAST, 2003)

Building functional patterns for implementing distributed applications. - Víctor M. Gulías; Alberto Valderruten; Carlos Abalde (LANC, 2003)

Lambda Goes to Hollywood. - Víctor M. Gulías; Carlos Abalde; Juan J. Sánchez (PADL, 2003)

Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. - Simón Neira; Víctor M. Gulías (UCS, 2004)

A high performance Erlang Tcp/Ip stack. - Javier París; Víctor M. Gulías; Alberto Valderruten (Erlang Workshop, 2005)

Towards a Certified and Efficient Computing of Gröbner Bases. - J. Santiago Jorge; Víctor M. Gulías; José Luis Freire; Juan J. Sánchez (EUROCAST, 2005)

CheapTB: A Low Cost of Operation Distributed Filesystem. - Javier París; Víctor M. Gulías; Carlos Abalde (EUROCAST, 2005)

Developing a functional Tcp/Ip stack oriented towards TCP connection replication. - Javier París; Alberto Valderruten; Víctor M. Gulías (LANC, 2005)

VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. - Víctor M. Gulías; Miguel Barreiro; José Luis Freire (J. Funct. Program., 2005)

Formalisation of a Functional Risk Management System. - Víctor M. Gulías; Carlos Abalde; Laura M. Castro; Carlos Varela (ICEIS (3), 2006)

Towards a Decentralized and Structured Network of P2P Public Information Screens. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (EUROCAST, 2007)

Verification of Program Properties Using Different Theorem Provers: A Case Study. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (EUROCAST, 2007)

A Distributed Filesystem for Spare Storage. - Javier París; Víctor M. Gulías; Alberto Valderruten; J. Santiago Jorge (EUROCAST, 2007)

Extending the VoDKA Architecture with P2P Aggregated Content Management. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (ISCC, 2007)

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (JIISIC, 2007)

Erlang/OTP Framework for Complex Management Applications Development. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro; Carlos Varela; J. Santiago Jorge (WEBIST (1), 2007)

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (AISC/MKM/Calculemus, 2008)

Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (ICIW, 2008)

Managing the Risks of Risk Management. - Laura M. Castro; Víctor M. Gulías; Carlos Abalde; J. Santiago Jorge (J. Decis. Syst., 2008)

A Practical Methodology for Integration Testing. - Laura M. Castro; Miguel A. Francisco; Víctor M. Gulías (EUROCAST, 2009)

A Distributed System for Massive Generation of Synthetic Video Using GPUs. - Javier París; Víctor M. Gulías; Carlos Abalde (EUROCAST, 2009)

Property-Based Testing - The ProTest Project. - John Derrick; Neil Walkinshaw; Thomas Arts; Clara Benac Earle; Francesco Cesarini; Lars-Åke Fredlund; Víctor M. Gulías; John Hughes 001; Simon J. Thompson (FMCO, 2009)

Certifying properties of an efficient functional program for computing Gröbner bases. - J. Santiago Jorge; Víctor M. Gulías; José Luis Freire (J. Symb. Comput., 2009)

Property driven development in Erlang, by example. - Samuel Rivas; Miguel Angel Francisco; Víctor M. Gulías (AST, 2010)

Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder. - Pablo Montero; Javier Taibo; Víctor M. Gulías; Samuel Rivas (ISM, 2010)

A Case Study on Verifying a Supervisor Component Using McErlang. - David Castro 005; Víctor M. Gulías; Clara Benac Earle; Lars-Åke Fredlund; Samuel Rivas (PROLE, 2010)

Preface. - Víctor M. Gulías; Josep Silva Galiana (PROLE, 2010)

GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams. - Javier Taibo; Víctor M. Gulías; Pablo Montero; Samuel Rivas (NOSSDAV, 2011)

Preface. - Puri Arenas; Víctor M. Gulías (PROLE, 2011)

Optimising lossless stages in a GPU-based MPEG encoder. - Pablo Montero; Víctor M. Gulías; Javier Taibo; Samuel Rivas (Multim. Tools Appl., 2013)

A versatile multiplexing algorithm exclusively based on the MPEG-2 systems layer. - Samuel Rivas; Víctor M. Gulías; Carlos Abalde (MSAN, 2015)