Publicaciones en las que colabora con Antonio García Domínguez (15)

2014

  1. Automatic dynamic generation of likely invariants for WS-BPEL compositions

    Expert Systems with Applications, Vol. 41, Núm. 11, pp. 5041-5055

  2. Betting system for formative code review in educational competitions

    Expert Systems with Applications, Vol. 41, Núm. 5, pp. 2222-2230

  3. Scalability of assessments of wiki-based learning experiences in higher education

    Computers in Human Behavior, Vol. 31, Núm. 1, pp. 638-650

2012

  1. Competitive evaluation in a video game development course

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

  2. Computer-supported assessment of wikis in higher education: Two case studies

    2012 International Symposium on Computers in Education, SIIE 2012

2010

  1. Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0

    Formación Universitaria, Vol. 3, Núm. 4, pp. 25-40

  2. Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

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

2009

  1. El software libre en el EEES

    Innovación educativa para la educación superior: hacia el proceso de la convergencia

  2. Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information

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

2008

  1. An architecture for dynamic invariant generation in WS-BPEL web service compositions

    ICE-B 2008 - Proceedings of the International Conference on e-Business

  2. Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL

    Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 (Universidad de Sevilla), pp. 91-96

  3. Improving Takuan to analyze a meta-search engine WS-BPEL composition

    Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

  4. Takuan: A dynamic invariant generation system for WS-BPEL compositions

    Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08

2007

  1. El modelo de la Oficina de Software Libre de la Universidad de Cádiz en la universidad española

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 190, pp. 31-35