Follow
Francisco Jesús Martín Mateos
Title
Cited by
Cited by
Year
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
34*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
301996
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
252002
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
242002
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
182009
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
152001
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
142012
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
142006
Multiset relations: A tool for proving termination
JL Ruiz Reina, JA Alonso Jiménez, MJ Hidalgo Doblado, ...
ACL2 Workshop 2000 (2000)., 2000
142000
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
132003
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
131999
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
112015
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
112014
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
112011
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
112002
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
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
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
102002
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
92007
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
92004
The system can't perform the operation now. Try again later.
Articles 1–20