José Antonio Alonso Jiménez

Extending Attribute Exploration by Means of Boolean Derivatives

José Antonio Alonso Jiménez, Gonzalo A. Aranda Corral, Joaquín Borrego Díaz, 2008 .

FITS: Formalization with an Intelligent Tutor System

José Antonio Alonso Jiménez, Gonzalo A. Aranda Corral, J Francisco, 2006 .

Formal Verification of Molecular Computational Models in ACL2: A Case Study

José Antonio Alonso Jiménez, María José Hidalgo Doblado, Francisco Jesús Martín Mateos, 2003 .

Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT

Mario de Jesús Pérez Jiménez, José Antonio Alonso Jiménez, Fernando Sancho Caparrini, 2002 .