Publications

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

• A. Valderruten and J. S. Jorge, Adaptación de materias ao crédito europeo. Titulación de Informática. Proxecto ACSUG, ch. Algoritmos (segundo curso), pp. 71-76. Axencia para a Calidade do Sistema Universitario de Galicia, 2007. [ BibTeX ]
  @InBook{jorge:07:adaptacion_materias_credito, author = "Alberto Valderruten and J. Santiago Jorge", title = "{Adaptación de materias ao crédito europeo. Titulación de Informática. Proxecto ACSUG}", chapter = "{Algoritmos (segundo curso)}", pages = "71--76", year = "2007", publisher = "{Axencia para a Calidade do Sistema Universitario de Galicia}", ISBN = "978-84-611-8203-9", }


• L. M. Castro, C.-F. Yang, N. Simon, and E. Leiss, ``Digital watermarking of mpeg videos: Empirical studies and open source tools,'' in Conferencia Latinoamericana de Informática (CLEI), p. 31, octubre 2007. [ conference ] [ BibTeX ]
  @InProceedings{castro:07:digitalwatermarking, title = {Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools}, author = {Laura M. Castro and Cheng-Fang Yang and Natasha Simon and Ernst Leiss}, booktitle = {Conferencia Latinoamericana de Informática (CLEI)}, isbn = {978-9955-9678-9-1}, pages = "31", location = {Costa Rica}, month = {octubre}, year = {2007}, confurl = {http://www.clei2007.org//} })


• J. A. García, A. Blanco, R. Blanco, and J. Paris, ``A comparative performance evaluation of different implementations of the soap protocol,'' in 5th IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale), pp. 109-118, November 2007. [ conference ] [ BibTeX ]
  @InProceedings{jose:07:ecowsproceeding2007, title = {A comparative performance evaluation of different implementations of the SOAP protocol}, author = {José A. García and Antonio Blanco and Roi Blanco and Javier Paris}, booktitle = {5th IEEE European Conference on Web Services (ECOWS 2007), 26-28 November 2007, Halle (Saale)}, isbn = {0-7695-3044-3,977-0-7695-3044-4}, pages = "109--118", location = {Halle (Saale), Germany}, month = {November}, year = {2007}, confurl = {http://www.ecows2007.uni-halle.de/} }


• L. Åke Fredlund and J. J. Sánchez, ``Model checking a video–on–demand server using McErlang,'' Lecture Notes in Computer Science, vol. 4739, pp. 539-546, 2007. [ http ] [ BibTeX ]
  @Article{lars:07:model_checking, title = {Model Checking a Video–on–Demand Server Using {McErlang}}, author = {Lars-Åke Fredlund and Juan José Sánchez}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "539--546", exturl = {http://www.springerlink.com/content/j603218485w5mr16/?p=01ef8a73b4dc4e01bdf4e019013d2a4a&pi=0&hl=u}, }


• A. Blanco, J. E. Freire, and J. L. Freire, ``Using Coq to understand nested datatypes,'' Lecture Notes in Computer Science, vol. 4739, pp. 210-216, 2007. [ http ] [ BibTeX ]
  @Article{freire:07:nested_datatypes, title = {Using {Coq} to Understand Nested Datatypes}, author = {A. Blanco and J. E. Freire and J. L. Freire}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "210--216", exturl = {http://www.springerlink.com/content/m48385x28787xn52/?p=6e4c72dd04e2414f96e8a59762e1afd3&pi=4&hl=u}, }


• J. París, V. M. Gulías, A. Valderruten, and J. S. Jorge, ``A distributed filesystem for spare storage,'' Lecture Notes in Computer Science, vol. 4739, pp. 249-256, 2007. [ http ] [ BibTeX ]
  @Article{paris:07:spare_storage, title = {A Distributed Filesystem for Spare Storage}, author = {Javier París and Víctor M. Gulías and Alberto Valderruten and J. Santiago Jorge}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "249--256", exturl = {http://www.springerlink.com/content/242wlr1521077863/?p=288418f0c9e5446e94a97dccfd3f338f&pi=5&hl=u}, }


• J. S. Jorge, V. M. Gulías, and L. M. Castro, ``Verification of program properties using different theorem provers: A case study,'' Lecture Notes in Computer Science, vol. 4739, pp. 233-240, 2007. [ http ] [ BibTeX ]
  @Article{jorge:07:verification, title = {Verification of Program Properties Using Different Theorem Provers: A Case Study}, author = {J. Santiago Jorge and Victor M. Gulías and Laura M. Castro}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "233--240", exturl = {http://www.springerlink.com/content/hju74555047084j1/?p=1ced85687376412b957cf736275c1025&pi=2&hl=u}, }


• J. L. Freire, E. Freire, A. Blanco, and D. Cabrero, ``On the representation of imperative programs in a logical framework,'' Lecture Notes in Computer Science, vol. 4739, pp. 202-209, 2007. [ http ] [ BibTeX ]
  @Article{freire:07:on_the_representation, title = {On the Representation of Imperative Programs in a Logical Framework}, author = {José L. Freire and Enrique Freire and Antonio Blanco and David Cabrero}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "202--209", exturl = {http://www.springerlink.com/content/d0876n6243j2t631/?p=253d72b0506b4746b3d946a4a7eb75d8&pi=0&hl=u}, }


• C. Abalde, V. M. Gulías, and L. M. Castro, ``Towards a decentralized and structured network of P2P public information screens,'' Lecture Notes in Computer Science, vol. 4739, pp. 217-224, 2007. [ http ] [ BibTeX ]
  @Article{cabalde:07:towards_a_decentralized, title = {Towards a Decentralized and Structured Network of {P2P} Public Information Screens}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro}, booktitle = {Computer Aided Systems Theory – EUROCAST 2007. 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Springer Berlin / Heidelberg}, journal = {Lecture Notes in Computer Science}, volume = {4739}, year = {2007}, isbn = {978-3-540-75866-2}, issn = {0302-9743 (Print), 1611-3349 (Online)}, pages = "217--224", exturl = {http://www.springerlink.com/content/1758p1w258354501/?p=9cf06b4ab13748b3bdf4b7fd50992618&pi=3&hl=u}, }


• L. Åke Fredlund and J. J. S. Penas, ``Model checking a VoD server using McErlang,'' 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. 194-195, IUCTC Universidad de Las Palmas de Gran Canaria, February 2007. Workshop on Applied formal verification (chairman: Biere, Linz). [ conference ] [ BibTeX ]
  @InProceedings{fredlund:07:abstracts_model_checking, title = {Model Checking a {VoD} Server Using {M}c{E}rlang}, author = {Lars-Åke Fredlund and Juan José Sánchez Penas}, booktitle = {Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007}, publisher = {IUCTC Universidad de Las Palmas de Gran Canaria}, editor = {Alexis Quesada-Arencibia and José Carlos Rodríguez and Roberto Moreno-Díaz jr. and Roberto Moreno Díaz}, isbn = {978-84-690-3603-7}, pages = "194--195", location = {Canary Islands, Spain}, month = {February}, year = {2007}, note = "Workshop on Applied formal verification (chairman: Biere, Linz)", confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2007/} }


• J. S. Jorge, A. Valderruten, V. M. Gulías, and L. M. Castro, ``Adaptación al Espacio Europeo de Educación Superior de la asignatura de Algoritmos en la Facultad de Informática de la Universidad de A Coruña,'' in Actas de las II Jornadas de Innovación Educativa de la Escuela Politécnica Superior de Zamora. El Espacio Europeo de Educación Superior: Una oportunidad para las enseñanzas técnicas, 19-22 junio 2007, (Zamora, España), pp. 105-112, June 2007. [ conference ] [ BibTeX ]
  @InProceedings{jorge:07:EEES_Algoritmos, author = "J. Santiago Jorge and Alberto Valderruten and Víctor M. Gulías and Laura M. Castro", title = "{Adaptación al Espacio Europeo de Educación Superior de la asignatura de Algoritmos en la Facultad de Informática de la Universidad de A Coruña}", booktitle = "{Actas de las II Jornadas de Innovación Educativa de la Escuela Politécnica Superior de Zamora. El Espacio Europeo de Educación Superior: Una oportunidad para las enseñanzas técnicas, 19-22 junio 2007}", pages = "105--112", year = "2007", address = "Zamora, España", month = jun, ISBN = "978-84-7800-369-3", confurl = "http://www.usal.es/~EEES_EPSZ/", }


• A. B. Ferro, E. F. Brañas, and J. L. F. Nistal, ``Using Coq to understand nested datatypes,'' 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. 75-76, IUCTC Universidad de Las Palmas de Gran Canaria, February 2007. [ conference ] [ BibTeX ]
  @InProceedings{blanco:07:abstracts_using_coq, title = {Using {C}oq to Understand Nested Datatypes}, author = {A. Blanco Ferro and E. Freire Brañas and J. L. Freire Nistal}, booktitle = {Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007}, publisher = {IUCTC Universidad de Las Palmas de Gran Canaria}, editor = {Alexis Quesada-Arencibia and José Carlos Rodríguez and Roberto Moreno-Díaz jr. and Roberto Moreno Díaz}, isbn = {978-84-690-3603-7}, pages = "75--76", location = {Canary Islands, Spain}, month = {February}, year = {2007}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2007/} }


• J. F. Nistal, E. F. Brañas, A. B. Ferro, and D. C. Souto, ``On the representation of imperative programs in a logical framework,'' 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. 73-74, IUCTC Universidad de Las Palmas de Gran Canaria, February 2007. [ conference ] [ BibTeX ]
  @InProceedings{freire:07:abstracts_representation_imperative, title = {On the Representation of Imperative Programs in a Logical Framework}, author = {J.L. Freire Nistal and E. Freire Brañas and A. Blanco Ferro and D. Cabrero Souto}, booktitle = {Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007}, publisher = {IUCTC Universidad de Las Palmas de Gran Canaria}, editor = {Alexis Quesada-Arencibia and José Carlos Rodríguez and Roberto Moreno-Díaz jr. and Roberto Moreno Díaz}, isbn = {978-84-690-3603-7}, pages = "73--74", location = {Canary Islands, Spain}, month = {February}, year = {2007}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2007/} }


• 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. [ conference ] [ BibTeX ]
  @InProceedings{paris:07:eurocast:a_distributed_filesystem, author = "Javier París and Víctor M. Gulías and Alberto Valderruten and J. Santiago Jorge", title = "{A Distributed Filesystem for Spare Storage}", booktitle = "{Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007)}", pages = "85--86", year = "2007", editor = "A. Quesada-Arencibia and J. C. Rodríguez and R. Moreno-Díaz jr. and R. Moreno-Díaz", month = feb, address = "Las Palmas de Gran Canaria, España", organization = "{IUCTC Universidad de Las Palmas de Gran Canaria}", ISBN = "978-84-690-3603-7", confurl = "http://www.iuctc.ulpgc.es/spain/eurocast2007/", }


• 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. [ conference ] [ BibTeX ]
  @InProceedings{jorge:07:eurocast:using_coq_pvs, author = "J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro", title = "{Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server}", booktitle = "{Extended Abstracts of 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007)}", pages = "81--82", year = "2007", editor = "A. Quesada-Arencibia and J. C. Rodríguez and R. {Moreno-Díaz Jr.} and R. Moreno-Díaz", month = feb, address = "Las Palmas de Gran Canaria, España", organization = "{IUCTC Universidad de Las Palmas de Gran Canaria}", ISBN = "978-84-690-3603-7", confurl = "http://www.iuctc.ulpgc.es/spain/eurocast2007/", }


• 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, pp. 1085-1090, July 2007. Sponsored by IEEE Computer Society, IEEE Communications Society, Universidade de Aveiro, PT Inovação, Instituto de telecomunicações. Also in abstracts book pp. 65-65. [ conference ] [ BibTeX ]
  @InProceedings{abalde:07:p2p_aggregated_content_management, title = {Extending the {VoDKA} Architecture with {P2P} Aggregated Content Management}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro}, booktitle = {Proceedings of 12th IEEE Symposium on Computers and Communications (ISCC'07). Aveiro, Portugal. July 1-4, 2007}, isbn = {1-4244-1521-7}, pages = "1085--1090", location = {Aveiro, Portugal}, month = {July}, year = {2007}, note = {Sponsored by IEEE Computer Society, IEEE Communications Society, Universidade de Aveiro, PT Inovação, Instituto de telecomunicações. Also in abstracts book pp. 65-65.}, confurl = {http://www.comsoc.org/iscc/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. [ conference ] [ BibTeX ]
  @InProceedings{jorge:07:certificacion_propiedades, title = {Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio}, author = {J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro}, booktitle = {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.}, editor = {Pontificia Universidad Católica del Perú}, isbn = {978-9972-2885-1-7}, pages = "27--34", location = {Lima, Perú}, year = {2007}, confurl = {http://www.pucp.edu.pe/eventos/jiisic07/} }


• 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. [ conference ] [ BibTeX ]
  @InProceedings{abalde:07:erlang_framework, title = {Erlang/{OTP} Framework for Complex Management Applications Development}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro and Carlos Varela and J. Santiago Jorge}, booktitle = {Proceedings of 3rd International Conference on Web Information Systems and Technologies (WEBIST'07). Barcelona, Spain. March 3-6, 2007}, publisher = {INSTICC Press}, isbn = {978-972-8865-77-1}, pages = "422--425", location = {Barcelona, Spain}, month = {March}, year = {2007}, note = {Poster session}, confurl = {http://www.webist.org} }


• C. Abalde, V. M. Gulías, and 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. [ conference ] [ BibTeX ]
  @InProceedings{abalde:07:abstracts_deploying_vodka, title = {Deploying VoDKA in a Network of Peer-to-Peer Public Information Screens}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro}, booktitle = {Extended Abstracts of Eleventh International Conference on Computer Aided Systems Theory (Eurocast'07). Las Palmas de Gran Canaria. Spain. February 12-16, 2007}, publisher = {IUCTC Universidad de Las Palmas de Gran Canaria}, editor = {Alexis Quesada-Arencibia and José Carlos Rodríguez and Roberto Moreno-Díaz jr. and Roberto Moreno Díaz}, isbn = {978-84-690-3603-7}, pages = "77--78", location = {Canary Islands, Spain}, month = {February}, year = {2007}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2007/} }


• 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. [ conference ] [ BibTeX ]
  @Article{garcia:06:wseasjournal2006, title = {Integration of Legacy Applications in Advanced Services }, author = {José A. García and Antonio Blanco and Roi Blanco}, journal = {WSEAS TRANSACTIONS on INFORMATION SCIENCE & APPLICATIONS}, publisher = {WSEAS Press}, issn = {1709-0832}, pages = "787--793", volume = {4}, number = {4}, month = {April}, year = {2007}, location = {Tenerife, Canary Islands, Spain}, confurl = {http://www.worldses.org/journals/information/}, note = {}, annote = {} }


• 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. [ BibTeX ]
  @InBook{jorge:07:certifying_properties, author = "J. Santiago Jorge and Víctor M. Gulías and David Cabrero", title = "{Verification, Validation and Testing in Software Engineering}", chapter = "{Certifying Properties of Programs using Theorem Provers}", pages = "220--267", year = "2007", publisher = "{Idea Group Publishing}", ISBN = "1-59140-851-2", address = "{Hershey, PA}", editor = "A. Dasso and A. Funes", }