Publicaciones

• Artículos

Artículos 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 y Aplicaciones Web y Servicios (ICIW'08).
  Atenas, Grecia. 08 - 13 de Junio de 2008.
  [Artículo]
• 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 José, Costa Rica. 08 - 12 de Octubre de 2007.
  [Artículo]
• 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. [Artículo]
• 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. [Artículo]
• 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 y Comunicaciones (ISCC'07).
  Aveiro, Portugal. 01 - 04 de Julio de 2007.
  [Artículo]
• 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 Jornadas de Innovación Educativa de la Escuela Politécnica Superior de Zamora (JIE'07).
  Zamora, España. 19 - 22 de Junio de 2007.
  [Artículo]
• 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 Tecnologías y Sistemas de Información Web (WEBIST'07).
  Barcelona, España. 03 - 06 de Marzo de 2007.
  [Artículo] [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 Ayuda por Ordenador (EUROCAST'07).
  Las Palmas de Gran Canaria, España. 12 - 16 de Febrero de 2007.
  [Artículo]
• 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 Ayuda por Ordenador (EUROCAST'07).
  Las Palmas de Gran Canaria, España. 12 - 16 de Febrero de 2007.
  [Artículo] [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 Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento (JIISIC'07).
  Lima, Perú. 31 de Enero - 02 de Febrero de 2007.
  [Artículo]
• 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 Mayo de 2006.
  [Artículo] [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 Ingeniería de Sistemas (ICSEng'05).
  Universidad de Nevada, Las Vegas, EE.UU. 16 - 18 de Agosto de 2005.
  [Artículo] [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), EE.UU. 22 de Septiembre de 2004.
  [Artículo] [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 en la 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 Jornadas de Programación y Lenguajes 2003 (PROLE'03).
  Alicante, España. 12 - 14 de Noviembre de 2003.
  [Artículo] [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.
  [Artículo] [Transparencias] [Fotos]