| 2011 | NOSSDAV | GPU-based fast motion estimation for on-the-fly encoding of computer-generated video streams. | Javier Taibo, Vctor M. Gulas, Pablo Montero, Samuel Rivas |
| 2010 | ICSE | Property driven development in Erlang, by example. | Samuel Rivas, Miguel Angel Francisco, Vctor M. Gulas |
| 2010 | ISM | Parallel Zigzag Scanning and Huffman Coding for a GPU-based MPEG-2 Encoder. | Pablo Montero, Javier Taibo, Vctor M. Gulas, Samuel Rivas |
| 2008 | AISC | Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. | J. Santiago Jorge, Vctor M. Gulas, Laura M. Castro |
| 2008 | ICIW | Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro |
| 2007 | ISCC | Extending the VoDKA Architecture with P2P Aggregated Content Management. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro |
| 2007 | WEBIST | Erlang/OTP Framework for Complex Management Applications Development. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro, Carlos Varela, J. Santiago Jorge |
| 2003 | PADL | Lambda Goes to Hollywood. | Vctor M. Gulas, Carlos Abalde, Juan J. Snchez |
| 2002 | SAC | Performance analysis of MPI-I/O primitives on a PC cluster. | Juan Tourio, Jacobo Barro, Ramon Doallo, Vctor M. Gulas |