Publications

• 2009
• 2008
• 2007
• 2006
• 2005
• 2004 — -∞

• C. Varela, V. M. Gulías, and M. Barreiro, Encyclopedia of Multimedia Technology and Networking, vol. 3, ch. Unified Architecture for DVB-H Electronic Service Guide, pp. 1464-1472. Information Science Reference, Aug 2008. [ BibTeX ]
  @InBook{varela:08:unified_architecture_dvbh_electronic_service_guide, author = "Carlos Varela and Víctor M. Gulías and Miguel Barreiro", title = "{Encyclopedia of Multimedia Technology and Networking}", chapter = "{Unified Architecture for DVB-H Electronic Service Guide}", volume = "{3}", pages = "1464--1472", year = "2008", month = "Aug", publisher = "{Information Science Reference}", editor = "{Margherita Pagani}", ISBN = "978-16-056-6014-1", }


• S. Rivas, M. Barreiro, and V. M. Gulías, Encyclopedia of Multimedia Technology and Networking, vol. 2, ch. Multiplexing Digital Multimedia Data, pp. 1023-1032. Information Science Reference, Aug 2008. [ BibTeX ]
  @InBook{rivas:08:multiplexing_digital_multimedia_data, author = "Samuel Rivas and Miguel Barreiro and Víctor M. Gulías", title = "{Encyclopedia of Multimedia Technology and Networking}", chapter = "{Multiplexing Digital Multimedia Data}", volume = "{2}", pages = "1023--1032", year = "2008", month = "Aug", publisher = "{Information Science Reference}", editor = "{Margherita Pagani}", ISBN = "{978-16-056-6014-1}", }


• S. Rivas, M. Barreiro, and V. M. Gulías, Encyclopedia of Multimedia Technology and Networking, vol. 2, ch. Interactive Playout of Digital Video Streams, pp. 749-756. Information Science Reference, Aug 2008. [ BibTeX ]
  @InBook{rivas:08:interactive_playout_dvs, author = "Samuel Rivas and Miguel Barreiro and Víctor M. Gulías", title = "{Encyclopedia of Multimedia Technology and Networking}", chapter = "{Interactive Playout of Digital Video Streams}", volume = "{2}", pages = "749--756", year = "2008", month = "Aug", publisher = "{Information Science Reference}", editor = "{Margherita Pagani}", ISBN = "978-16-056-6014-1", }


• L. M. Castro, V. M. Gulias, and M. A. Francisco, ``Applications integration: a testing experience,'' in Post-Workshop Proceedings of 6th Workshop on System Testing and Validation, 13 de diciembre de 2008, Universidad Politécnica de Madrid, (Madrid, España), pp. ??-??, Dec. 2008. [ conference ] [ BibTeX ]
  @InProceedings{castro:08:applications_integration, author = "Laura M. Castro and Victor M. Gulias and Miguel A. Francisco", title = "{Applications integration: a testing experience}", booktitle = "{Post-Workshop Proceedings of 6th Workshop on System Testing and Validation, 13 de diciembre de 2008, Universidad Politécnica de Madrid}", pages = "??--??", year = "2008", address = "Madrid, España", month = dec, ISBN = "??", confurl = "http://syst.eui.upm.es/conferences/stv08/", }


• L. M. Castro, V. M. Gulías, C. Abalde, and J. S. Jorge, ``Managing the Risks of Risk Management ,'' Journal of Decision Systems, vol. 17/4, pp. 501-521, 2008. doi:10.3166/jds.17.501-521. [ http ] [ BibTeX ]
  @Article{castro:08:managing_risks, author = "Laura M. Castro and Víctor M. Gulías and Carlos Abalde and J. Santiago Jorge", title = "{Managing the Risks of Risk Management }", journal = "{Journal of Decision Systems}", pages = "501--521", year = "2008", volume = "17/4", note = "doi:10.3166/jds.17.501-521", exturl = "http://jds.revuesonline.com/article.jsp?articleId=12642", }


• J. S. Jorge, A. Valderruten, V. M. Gulías, and C. Abalde, ``Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña,'' in Actas de las VI Jornadas de Investigación en Docencia Universitaria, 9 y 10 de junio de 2008, Universidad de Alicante, (Alicante, España), pp. 677-683, June 2008. [ conference ] [ BibTeX ]
  @InProceedings{jorge:08:experiencia_eees, author = "J. Santiago Jorge and Alberto Valderruten and Víctor M. Gulías and Carlos Abalde", title = "{Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña}", booktitle = "{Actas de las VI Jornadas de Investigación en Docencia Universitaria, 9 y 10 de junio de 2008, Universidad de Alicante}", pages = "677--683", year = "2008", address = "Alicante, España", month = jun, ISBN = "978-84-691-4559-3", confurl = "http://www.ua.es/ice/redes/jornadas/2008/index.html", }


• T. Arts, L. M. Castro, and J. Hughes, ``Testing erlang data types with quviq quickcheck,'' in Proceedings of 7th ACM SIGPLAN Erlang Workshop (Erlang'08). Victoria, British Columbia, Canada. September 27, 2008., pp. 1-8, Association for Computing Machinery (ACM), September 2008. [ conference ] [ BibTeX ]
  @InProceedings{arts:08:testing_datatypes, title = {Testing Erlang Data Types with Quviq QuickCheck}, author = {Thomas Arts and Laura M. Castro and John Hughes}, booktitle = {Proceedings of 7th ACM SIGPLAN Erlang Workshop (Erlang'08). Victoria, British Columbia, Canada. September 27, 2008.}, publisher = {Association for Computing Machinery (ACM)}, isbn = {978-1-60558-065-4}, pages = "1--8", location = {Victoria, British Columbia, Canada}, month = {September}, year = {2008}, confurl = {http://www.erlang.org/workshop/2008/} }


• J. S. Jorge, V. M. Gulías, and L. M. Castro, ``Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server,'' Lecture Notes in Artificial Intelligence, vol. 5144, pp. 296-299, 2008. Intelligent Computer Mathematics. 15th Symposium, Calculemus 2008. Birmingham, UK, July 28 - August 1, 2008. Proceedings. [ BibTeX ]
  @Article{jorge:08:using_coq_prove, author = "J. Santiago Jorge and Victor M. Gulías and Laura M. Castro", title = "{Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server}", journal = "Lecture Notes in Artificial Intelligence", year = "2008", editor = "S. Autexier and J. Campbell and J. Rubio and V. Sorge and M. Suzuki and F. Wiedijk", volume = "5144", pages = "296--299", note = "Intelligent Computer Mathematics. 15th Symposium, Calculemus 2008. Birmingham, UK, July 28 - August 1, 2008. Proceedings", ISSN = "0302-9743", ISBN = "978-3-540-85109-7" }


• L. M. Castro, V. M. Gulías, C. Abalde, and J. París, ``Database access and patterns in Erlang/OTP,'' in Proceedings of 8th WSEAS International Conference on Applied Informatics and Communications (AIC'08). Rhodes, Greece. August 20-22, 2008. (N. E. Mastorakis, M. Demiralp, V. Madenov, and Z. Bojkovic, eds.), pp. 73-78, WSEAS Press, August 2008. Also proceedings CD-ROM ISBN 978-960-6766-99-2. [ conference ] [ BibTeX ]
  @InProceedings{castro:08:db_patterns, title = {Database Access and Patterns in {E}rlang/{OTP}}, author = {Laura M. Castro and Víctor M. Gulías and Carlos Abalde and Javier París}, booktitle = {Proceedings of 8th WSEAS International Conference on Applied Informatics and Communications (AIC'08). Rhodes, Greece. August 20-22, 2008.}, publisher = {WSEAS Press}, editor = {Nikis E. Mastorakis and Metis Demiralp and Valeri Madenov and Zoran Bojkovic}, isbn = {978-960-6766-94-7}, issn = {1790-5109}, pages = "73--78", location = {Rhodes, Greece}, month = {August}, year = {2008}, note = {Also proceedings CD-ROM ISBN 978-960-6766-99-2}, confurl = {http://www.wseas.org/conferences/2008/rodos/aic/} }


• C. Abalde, V. M. Gulías, and L. M. Castro, ``Efficient discovery of widely distributed and non-volatile resources on DHTs,'' in Proceedings of 3rd International Conference on Internet and Web Applications and Services (ICIW'08). Athens, Greece. June 8-13, 2008. (G. O. D. K. W. C. Abdelhamid Mellouk, Jun Bi and M. Popescu, eds.), pp. 370-376, IEEE Computer Society Press, June 2008. Track on P2P Systems and Applications. Sponsored by IARIA Work Group on Advanced Topics and IARIA Work Group on Web Services. [ conference | http ] [ BibTeX ]
  @InProceedings{abalde:08:efficient_discovery, title = {Efficient Discovery of Widely Distributed and Non-Volatile Resources on {DHT}s}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro}, booktitle = {Proceedings of 3rd International Conference on Internet and Web Applications and Services (ICIW'08). Athens, Greece. June 8-13, 2008.}, publisher = {IEEE Computer Society Press}, editor = {Abdelhamid Mellouk, Jun Bi, Guadalupe Ortiz Dickson K. W. Chiu and Manuela Popescu}, isbn = {970-0-7695-3163-2}, pages = "370--376", location = {Athens, Greece}, month = {June}, year = {2008}, note = {Track on P2P Systems and Applications. Sponsored by IARIA Work Group on Advanced Topics and IARIA Work Group on Web Services.}, confurl = {http://www.iaria.org/conferences2008/ICIW08.html}, exturl = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.19} }