International publications (2007)

• S. Rivas, M. Barreiro, V. M. Gulías, Multiplexing Digital Multimedia Data, Encyclopedia of Multimedia Technology and Networking (Idea Group). To appear.
• S. Rivas, M. Barreiro, V. M. Gulías, Interactive Playout of Digital Video Streams, Encyclopedia of Multimedia Technology and Networking (Idea Group). To appear.
• C. Varela, V. M. Gulías, Unified Architecture for DVB-H Electronic Service Guide, Encyclopedia of Multimedia Technology and Networking (Idea Group). To appear.
• C. Abalde, V. M. Gulías, and L. M. Castro, Extending the VoDKA architecture with P2P aggregated content management, in Proceedings of 12th IEEE Symposium on Computers and Communications (ISCC'07). Aveiro, Portugal. July 1-4, 2007. Sponsored by IEEE Computer Society and IEEE Communications Society. To appear.
• J. A. García, A. Blanco, and R. Blanco, Integration of legacy applications in advanced services, WSEAS TRANSACTIONS on INFORMATION SCIENCE & APPLICATIONS, vol. 4, pp. 787-793, April 2007.
• J. S. Jorge, V. M. Gulías, and D. Cabrero, Verification, Validation and Testing in Software Engineering, ch. Certifying Properties of Programs using Theorem Provers, pp. 220-267. Hershey, PA: Idea Group Publishing, 2007.
• C. Abalde, V. M. Gulías, L. M. Castro, C. Varela, and J. S. Jorge, Erlang/OTP framework for complex management applications development, in Proceedings of 3rd International Conference on Web Information Systems and Technologies (WEBIST'07). Barcelona, Spain. March 3-6, 2007, pp. 422-425, INSTICC Press, March 2007. Poster session.
• J. París, V. M. Gulías, A. Valderruten, and J. S. Jorge, A Distributed Filesystem for Spare Storage, in Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007) (A. Quesada-Arencibia, J. C. Rodríguez, R. M.-D. jr., and R. Moreno-Díaz, eds.), (Las Palmas de Gran Canaria, España), pp. 85-86, IUCTC Universidad de Las Palmas de Gran Canaria, Feb. 2007.
• J. S. Jorge, V. M. Gulías, and L. M. Castro, Using Coq and PVS for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server, in Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007) (A. Quesada-Arencibia, J. C. Rodríguez, R. Moreno-Díaz Jr., and R. Moreno-Díaz, eds.), (Las Palmas de Gran Canaria, España), pp. 81-82, IUCTC Universidad de Las Palmas de Gran Canaria, Feb. 2007.
• C. Abalde, V. M. Gulías, L. M. Castro, Deploying VoDKA in a network of peer-to-peer public information screens, in Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007 (A. Quesada-Arencibia, J. C. Rodríguez, R. M.-D. jr., and R. M. Díaz, eds.), pp. 77-78, IUCTC Universidad de Las Palmas de Gran Canaria, February 2007.
• J. S. Jorge, V. M. Gulías, and L. M. Castro, Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio, in Actas de las VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento (JIISIC'07). Lima, Perú. 31 de enero al 2 de febrero. (P. U. C. del Perú, ed.), pp. 27-34, 2007.

International publications (2006)

• J. A. García, A. Blanco, and R. Blanco, Incorporating applications to a service oriented architecture, in Proceedings of 5th WSEAS International Conference on SYSTEM SCIENCE and SIMULATION in ENGINEERING (ICOSSE06) December 16 - 18, 2006, pp. 401-407, December 2006.
• J. París, V. M. Gulías, and A. Valderruten, Transparent connection migration for TCP services, in Proceedings of the 2006 IFIP WG 6.9 Workshop on Wireless Communications and Information Technology in Developing Countries (WCIT 2006) . August 20, 2006, August 2006.
• V. M. Gulías, C. Abalde, L. Castro, and C. Varela, Formalisation of a functional risk management system, in Proceedings of 8th International Conference on Enterprise Information Systems (ICEIS'06). May 23 - 27, 2006, pp. 516-519, INSTICC Press, May 2006.

National publications (2006)

• V. M. Gulías, C. Abalde, D. Cabrero, and M. Barreiro, Brewing VoDKA for six years: The develoment of a distributed functional video-on-demand server, in Programación y Lenguajes. Proceedings of VI Jornadas de Programación y Lenguajes 2006 (PROLE'06). Oct 4 - 6, 2006, pp. 263-272, Oct 2006.
• J. S. Jorge, , V. M. Gulías, and J. L. Freire, Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner, in Actas del décimo Encuentro de Álgebra Computacional y Aplicaciones (EACA 2006). 7-9 de septiembre de 2006 (F. J. Castro-Jiménez and J. M. Ucha-Enríquez, eds.), (Sevilla), pp. 167-170, Sept. 2006.

PhD thesis

• Juan José Sánchez Penas. From software architecture to formal verification of a distributed system. Directed by Thomas Arts y Víctor M. Gulías. University of Coruña, november 2006.