Publicaciones en colaboración con investigadores/as de Universidad de Sevilla (5)

2014

  1. 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. Computer-supported assessment of wikis in higher education: Two case studies

    2012 International Symposium on Computers in Education, SIIE 2012

2010

  1. A verified Common Lisp implementation of Buchberger's algorithm in ACL2

    Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123

2004

  1. Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184

2001

  1. A certified polynomial-based decision procedure for propositional logic

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