FRANCISCO
PALOMO LOZANO
Profesor Titular de Escuela Universitaria
Universidad de Sevilla
Sevilla, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Sevilla (5)
2014
-
Scalability of assessments of wiki-based learning experiences in higher education
Computers in Human Behavior, Vol. 31, Núm. 1, pp. 638-650
2012
-
Computer-supported assessment of wikis in higher education: Two case studies
2012 International Symposium on Computers in Education, SIIE 2012
2010
-
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123
2004
-
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
-
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)