Models and Applications of Distributed Systems

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)

Declarative distributed advertisement system for iDTV: An industrial experience
PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming
Failover and takeover contingency mechanisms for network partition and node failure
Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop
La ingeniería informática en Galicia: estudios académicos y aplicaciones
Lucensia: miscelánea de cultura e investigación, Vol. 22, Núm. 45, pp. 217-230

Directional gaze analysis in webcam video sequences
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Rendimiento académico de los estudios de Informática en algunos centros españoles
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 204, pp. 55-61

Certifying properties of an efficient functional program for computing Gröbner bases
Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 571-582
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

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
Managing the risks of risk management
Journal of Decision Systems, Vol. 17, Núm. 4, pp. 501-521
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)

A distributed filesystem for spare storage
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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
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
Erlang/OTP framework for complex management applications development
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings
On the representation of imperative programs in a logical framework
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)

Certifying properties of programs using theorem provers
Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287

A high performance Erlang Tcp/Ip stack
Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

MADS