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)

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)

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)

Assessing the effects of introducing a new software development process: a methodological description. - Agneta Nilsson; Laura M. Castro; Samuel Rivas; Thomas Arts (Int. J. Softw. Tools Technol. Transf., 2015)