Publicacións

• Artigos

Artigos Publicados

• Efficient Discovery of Widely Distributed and Non-Volatile Resources on DHTs.
  Carlos Abalde, Víctor M. Gulías, Laura M. Castro.
  3a Conferencia Internacional sobre Internet e Aplicacións Web e Servizos (ICIW'08).
  Atenas, Grecia. 08 - 13 de xuño de 2008.
  [Artigo]
• Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools.
  Laura M. Castro, Cheng-Fang Yang, Natasha Simon, Ernst Leiss.
  XXIII Conferencia Latinoamericana de Informática (CLEI'07).
  San Joxé, Costa Rica. 08 - 12 de outubro de 2007.
  [Artigo]
• Verification of Program Properties Using Different Theorem Provers: A Case Study.
  J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro.
  Lecture Notes in Computer Science vol. 4739, pp. 233-240. [Artigo]
• Towards a Decentralized and Structured Network of P2P Public Information Screens.
  Carlos Abalde, Víctor M. Gulías, Laura M. Castro.
  Lecture Notes in Computer Science vol. 4739, pp. 217-224. [Artigo]
• Extending the VoDKA architecture with P2P aggregated content management.
  Carlos Abalde, Víctor M. Gulías, Laura M. Castro.
  12º Simposio IEEE sobre Computación e Comunicacións (ISCC'07).
  Aveiro, Portugal. 01 - 04 de xullo de 2007.
  [Artigo]
• 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
  J. S. Jorge, A. Valderruten, Víctor M. Gulías, Laura M. Castro.
  II Xornadas de Innovación Educativa da Escola Politécnica Superior de Zamora (JIE'07).
  Zamora, España. 19 - 22 de xuño de 2007.
  [Artigo]
• Erlang/OTP framework for complex management applications development.
  Carlos Abalde, Víctor M. Gulías, Laura Castro, Carlos Varela, J.S. Jorge.
  3ª Conferencia Internacional sobre Tecnoloxías e Sistemas de Información Web (WEBIST'07).
  Barcelona, España. 03 - 06 de marzal de 2007.
  [Artigo] [Póster]
• Using Coq and PVS for certifying properties on the cache subsystem of a functional video-on-demand server.
  J.S. Jorge, Víctor M. Gulías, Laura Castro.
  11ª Conferencia Internacional sobre Teoría de Sistemas de Axuda por Computador (EUROCAST'07).
  Palmas de Gran Canaria, España. 12 - 16 de febreiro de 2007.
  [Artigo]
• Deploying VoDKA in a network of peer-to-peer public information screens.
  Carlos Abalde, Víctor M. Gulías, Laura Castro.
  11ª Conferencia Internacional sobre Teoría de Sistemas de Axuda por Computador (EUROCAST'07).
  Palmas de Gran Canaria, España. 12 - 16 de febreiro de 2007.
  [Artigo] [Transparencias]
• Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio.
  Carlos Abalde, Víctor M. Gulías, Laura Castro, Carlos Varela, J.S. Jorge.
  VI Xornadas Iberoamericanas de Enxeñaría do Software e Enxeñaría do Coñecemento (JIISIC'07).
  Lima, Perú. 31 de xaneiro - 02 de febreiro de 2007.
  [Artigo]
• Formalisation of a Functional Risk Management System.
  Víctor M. Gulías, Carlos Abalde, Laura Castro, Carlos Varela.
  8ª Conferencia Internacional sobre Sistemas de Información (ICEIS'06).
  Pafos, Chipre. 23 - 27 de maio de 2006.
  [Artigo] [Póster]
• A New Risk Management Approach Deployed over a Client/Server Distributed Functional Architecture.
  Víctor M. Gulías, Carlos Abalde, Laura Castro, Carlos Varela.
  18ª Conferencia Internacional de Enxeñaría de Sistemas (ICSEng'05).
  Universidade de Nevada, As Vegas, E.U.A. 16 - 18 de agosto de 2005.
  [Artigo] [Transparencias]
• On Modelling Agent Systems with Erlang.
  Carlos Varela, Carlos Abalde, Laura Castro, José R. Gulías.
  Conferencia Internacional de Programación Funcional 2004 (ICFP'04),
  3rd ACM SIGPLAN Erlang Workshop.
  Snowbird (Utah), E.U.A. 22 de setembro de 2004.
  [Artigo] [Transparencias]
• Developing Management Software with Erlang. A Case Study.
  Carlos Abalde, Laura Castro, Carlos Varela, Víctor M. Gulías.
  Sesión de pósters na 32nd Spring School in Theoretical Computer Science (EPIT'32).
  Centre International de Rencontres Mathématiques (C.I.R.M.).
  Campus de Luminy, Marsella (Francia). 26 - 30 de abril de 2004.
  [Póster]
• ARMISTICE: Una experiencia desarrollando software de gestión con Erlang.
  Laura Castro, Víctor M. Gulías, David Cabrero, Carlos Abalde, Carlos Varela.
  III Xornadas de Programación e Linguaxes 2003 (PROLE'03).
  Alacante, España. 12 - 14 de novembro de 2003.
  [Artigo] [Transparencias]
• ARMISTICE: An Experience Developing Management Software with Erlang.
  David Cabrero, Carlos Abalde, Carlos Varela, Laura Castro.
  Principles, Logics, and Implementations of High-Level Programming Languages (PLI'03),
  2nd ACM SIGPLAN Erlang Workshop.
  Uppsala, Suecia. 29 de agosto de 2003.
  [Artigo] [Transparencias] [Fotos]