Publications by the researcher in collaboration with Víctor M. Gulías (27)

2010

  1. A survey of efficient resource discovery techniques on DHTs

    Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications (IGI Global), pp. 64-87

2009

  1. A distributed system for massive generation of synthetic video using GPUs

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

  2. Certifying properties of an efficient functional program for computing Gröbner bases

    Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 571-582

  3. Evolución en la adaptación al EEES de la asignatura de algoritmos en la Facultad de Informática de A Coruña

    VII Jornades de Xarxes d'Investigació en Docència Universitària: la qualitat del procés d'ensenyança/aprenentatge universitari des de la perspectiva del canvi

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. Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña

    VI Jornades d'Investigació en Docencia Universitaria: la construcció col·legiada del model docent universitari del segle XXI

  3. Managing the risks of risk management

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

  4. 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. A distributed filesystem for spare storage

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

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

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

  4. Erlang/OTP framework for complex management applications development

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

  5. 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)

2006

  1. Certifying properties of programs using theorem provers

    Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287

2005

  1. A high performance Erlang Tcp/Ip stack

    Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

  2. CheapTB: A low cost of operation distributed filesystem

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

  3. Developing a functional Tcp/Ip stack oriented towards Tcp connection replication

    3rd International Latin American Networking Conference, LANC 2005

  4. Towards a certified and efficient computing of gröbrier bases

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

2004

  1. Development of a scalable, fault tolerant, and low cost cluster-based e-payment system with a distributed functional kernel

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2809, pp. 220-230

2003

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