Publications

• Articles

Published Articles

• Efficient Discovery of Widely Distributed and Non-Volatile Resources on DHTs.
  Carlos Abalde, Víctor M. Gulías, Laura M. Castro.
  3rd International Conference on Internet and Web Applications and Services (ICIW'08).
  Athens, Greece. June 8th - 13th, 2008.
  [Article]
• Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools.
  Laura M. Castro, Cheng-Fang Yang, Natasha Simon, Ernst Leiss.
  XXIII Lationamerican Conference on Informatics (CLEI'07).
  San José, Costa Rica. October 8th - 12th, 2007.
  [Article]
• 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. [Article]
• 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. [Article]
• Extending the VoDKA architecture with P2P aggregated content management.
  Carlos Abalde, Víctor M. Gulías, Laura M. Castro.
  12th IEEE Symposium on Computers and Communications (ISCC'07).
  Aveiro, Portugal. July 1st - 4th, 2007.
  [Article]
• 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 Conference on Educational Innovation held by Zamora Technical School (JIE'07).
  Zamora, Spain. June 19th - 22nd, 2007.
  [Article]
• Erlang/OTP framework for complex management applications development.
  Carlos Abalde, Víctor M. Gulías, Laura Castro, Carlos Varela, J.S. Jorge.
  3rd International Conference on Web Information Systems and Technologies (WEBIST'07).
  Barcelona, Spain. March 3rd - 6th, 2007.
  [Article] [Poster]
• 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.
  11th International Conference on Computer Aided Systems Theory (EUROCAST'07).
  Las Palmas de Gran Canaria, Spain. February 12nd - 16th, 2007.
  [Article]
• Deploying VoDKA in a network of peer-to-peer public information screens.
  Carlos Abalde, Víctor M. Gulías, Laura Castro.
  11th International Conference on Computer Aided Systems Theory (EUROCAST'07).
  Las Palmas de Gran Canaria, Spain. February 12nd - 16th, 2007.
  [Article] [Slides]
• 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 Latin American Conference on Software Engineering and Knowledge Engineering (JIISIC'07).
  Lima, Peru. January 31st - February 2nd, 2007.
  [Article]
• Formalisation of a Functional Risk Management System.
  Víctor M. Gulías, Carlos Abalde, Laura Castro, Carlos Varela.
  8th International Conference on Enterprise Information Systems (ICEIS'06).
  Paphos, Cyprus. May 23rd - 27th, 2006.
  [Article] [Poster]
• A New Risk Management Approach Deployed over a Client/Server Distributed Functional Architecture.
  Víctor M. Gulías, Carlos Abalde, Laura Castro, Carlos Varela.
  18th International Conference on Systems Engineering (ICSEng'05).
  University of Nevada, Las Vegas, USA. August 16th - 18th, 2005.
  [Article] [Slides]
• On Modelling Agent Systems with Erlang.
  Carlos Varela, Carlos Abalde, Laura Castro, José R. Gulías.
  International Conference on Functional Programming 2004 (ICFP'04),
  3rd ACM SIGPLAN Erlang Workshop.
  Snowbird (Utah), USA. September 22nd, 2004.
  [Article] [Slides]
• Developing Management Software with Erlang. A Case Study.
  Carlos Abalde, Laura Castro, Carlos Varela, Víctor M. Gulías.
  Poster Session at 32nd Spring School in Theoretical Computer Science (EPIT'32).
  Centre International de Rencontres Mathématiques (C.I.R.M.).
  Luminy Campus, Marseille (France). April 26th - 30th, 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, Spain. November 12nd - 14th, 2003.
  [Article] [Slides]
• 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, Sweden. August 29th, 2003.
  [Article] [Slides] [Pictures]