| Foundational challenges in automated semantic web data and ontology cleaning JA Alonso-Jimene, J Borrego-Díaz, AM Chávez-González, ... IEEE Intelligent Systems 21 (1), 42-52, 2006 | 35* | 2006 |
| On a visibility representation of graphs FJ Cobos, JC Dana, F Hurtado, A Márquez, F Mateos Graph Drawing: Symposium on Graph Drawing, GD'95 Passau, Germany, September …, 1996 | 30 | 1996 |
| A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. FJ Martín Mateos, JA Alonso Jiménez, MJ Hidalgo Doblado, ... ACL2 2002: Third International Workshop on the ACL2 Theorem Prover and Its …, 2002 | 25 | 2002 |
| Formal proofs about rewriting using ACL2 JL Ruiz-Reina, JA Alonso, MJ Hidalgo, FJ Martín-Mateos Annals of Mathematics and Artificial Intelligence 36, 239-262, 2002 | 24 | 2002 |
| ACL2 verification of simplicial degeneracy programs in the Kenzo system FJ Martín-Mateos, J Rubio, JL Ruiz-Reina International Conference on Intelligent Computer Mathematics, 106-121, 2009 | 18 | 2009 |
| Formalizing rewriting in the ACL2 theorem prover JL Ruiz-Reina, JA Alonso, MJ Hidalgo, FJ Martín-Mateos Artificial Intelligence and Symbolic Computation: International Conference …, 2001 | 15 | 2001 |
| Formalization of a normalization theorem in simplicial topology L Lambán, FJ Martín–Mateos, J Rubio, JL Ruiz–Reina Annals of Mathematics and Artificial Intelligence 64 (1), 1-37, 2012 | 14 | 2012 |
| Formal correctness of a quadratic unification algorithm JL Ruiz-Reina, FJ Martín-Mateos, JA Alonso, MJ Hidalgo Journal of Automated Reasoning 37 (1), 67-92, 2006 | 14 | 2006 |
| Multiset relations: A tool for proving termination JL Ruiz Reina, JA Alonso Jiménez, MJ Hidalgo Doblado, ... ACL2 Workshop 2000 (2000)., 2000 | 14 | 2000 |
| A formal proof of Dickson’s Lemma in ACL2 FJ Martın-Mateos, JA Alonso, MJ Hidalgo, JL Ruiz-Reina Logic for Programming, Artificial Intelligence, and Reasoning: 10th …, 2003 | 13 | 2003 |
| Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. JL Ruiz-Reina, JA Alonso, MJ Hidalgo, FJ Martín-Mateos APPIA-GULP-PRODE, 289-304, 1999 | 13 | 1999 |
| Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm L Lambán, J Rubio, FJ Martín-Mateos, JL Ruiz-Reina Logic Journal of IGPL 22 (1), 39-65, 2014 | 12 | 2014 |
| Molecular computation models in ACL2: a simulation of Lipton’s experiment solving SAT FJ Martín Mateos, JA Alonso Jiménez, MJ Pérez Jiménez, ... Third International Workshop on the ACL2 Theorem Prover and Its Applications …, 2002 | 12 | 2002 |
| Modelling algebraic structures and morphisms in ACL2 J Heras, FJ Martín-Mateos, V Pascual Applicable algebra in engineering, communication and computing 26 (3), 277-303, 2015 | 11 | 2015 |
| Applying ACL2 to the formalization of algebraic topology: simplicial polynomials L Lambán, FJ Martín-Mateos, J Rubio, JL Ruiz-Reina International Conference on Interactive Theorem Proving, 200-215, 2011 | 11 | 2011 |
| Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment CG Díaz, FJM Mateos, MJ Pérez Jiménez International Conference on Unconventional Methods of Computation, 126-136, 2002 | 11 | 2002 |
| Proof pearl: A formal proof of Higman’s lemma in ACL2 FJ Martín-Mateos, JL Ruiz-Reina, JA Alonso, MJ Hidalgo Journal of Automated Reasoning 47, 229-250, 2011 | 10* | 2011 |
| A Formally Verified Prover for the Description Logic JA Alonso, J Borrego-Díaz, MJ Hidalgo, FJ Martín-Mateos, JL Ruiz-Reina International Conference on Theorem Proving in Higher Order Logics, 135-150, 2007 | 9 | 2007 |
| Formal verification of a generic framework to synthesize SAT-provers FJ Martín-Mateos, JA Alonso, MJ Hidalgo, JL Ruiz-Reina Journal of Automated Reasoning 32, 287-313, 2004 | 9 | 2004 |
| Rete algorithm applied to robotic soccer M Palomo, FJ Martín-Mateos, JA Alonso Computer Aided Systems Theory–EUROCAST 2005: 10th International Conference …, 2005 | 8 | 2005 |
