Publications by the researcher in collaboration with Laura Milagros Castro Souto (12)

2013

  1. Feasibility of property-based testing for time-dependent systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Declarative distributed advertisement system for iDTV: An industrial experience

    PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

  2. Failover and takeover contingency mechanisms for network partition and node failure

    Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop

2008

  1. Environment-independent methodology for accessing external data sources

    WSEAS Transactions on Information Science and Applications, Vol. 5, Núm. 9, pp. 1355-1364

  2. Managing the risks of risk management

    Journal of Decision Systems, Vol. 17, Núm. 4, pp. 501-521

  3. Using Coq to prove properties of the cache level of a functional video-on-demand server

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. 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

    El espacio europeo de educación superior. Una oportunidad para las enseñanzas técnicas: actas del congreso. [Recurso electrónico]. Zamora 19, 20, 21 y 22 de junio de 2007

  2. Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio

    VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007

  3. Erlang/OTP framework for complex management applications development

    Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings

  4. Verification of program properties using different theorem provers: A case study

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2003

  1. ARMISTICE: An experience developing management software with Erlang

    Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03

  2. ARMISTICE: Una experiencia desarrollando software de gestión con Erlang

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 199