Francisco-Jesús Martín-Mateos

27 papers B 3C 2Misc 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2017 — ed.
Future and Emerging Trends in Language Technology. Machine Learning and Big Data - Second International Workshop, FETLT 2016, Seville, Spain, November 30 - December 2, 2016, Revised Selected Papers
FETLT
José F. Quesada, Francisco-Jesús Martín-Mateos, Teresa López-Soto
2016 — ed.
Future and Emergent Trends in Language Technology - First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers
FETLT
José F. Quesada, Francisco-Jesús Martín-Mateos, Teresa López-Soto
2015 J jnl
Modelling algebraic structures and morphisms in ACL2.
Appl. Algebra Eng. Commun. Comput.
Jónathan Heras, Francisco-Jesús Martín-Mateos, Vico Pascual
2014 J jnl
Formally Verified Tableau-Based Reasoners for a Description Logic.
J. Autom. Reason.
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2014 J jnl
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm.
Log. J. IGPL
Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2013 B conf
Certified symbolic manipulation: bivariate simplicial polynomials.
ISSAC
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2012 J jnl
Formalization of a normalization theorem in simplicial topology.
Ann. Math. Artif. Intell.
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2011 B conf
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.
ITP
Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2011 J jnl
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2.
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
2009 — conf
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.
Calculemus/MKM
Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina
2009 — conf
Expert System to Real Time Control of Machining Processes.
CAEPIA
Francisco-Jesús Martín-Mateos, Luis Carlos González Valencia, Rafael Serrano Bello
2007 — conf
A Formally Verified Prover for the
TPHOLs
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2007 — conf
Constructing Formally Verified Reasoners for the ACL Description Logic.
WWV
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
2006 J jnl
Formal Correctness of a Quadratic Unification Algorithm.
J. Autom. Reason.
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
2006 J jnl
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning.
IEEE Intell. Syst.
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Antonia M. Chávez-González, Francisco-Jesús Martín-Mateos
2005 — conf
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2.
TPHOLs
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
2005 — conf
Rete Algorithm Applied to Robotic Soccer.
EUROCAST
Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso
2004 J jnl
Formal Verification of a Generic Framework to Synthetize SAT-Provers.
J. Autom. Reason.
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2003 B conf
A Formal Proof of Dickson's Lemma in ACL2.
LPAR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2003 C conf
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.
LOPSTR
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos
2003 — conf
Formal Verification of Molecular Computational Models in ACL2: A Case Study.
CAEPIA
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2002 J jnl
Formal Proofs About Rewriting Using ACL2.
Ann. Math. Artif. Intell.
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
2002 — conf
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment.
UMC
Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez
2002 C conf
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.
LOPSTR
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2001 — conf
Verifying an Applicative ATP Using Multiset Relations.
EUROCAST
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
2000 Misc conf
Formalizing Rewriting in the ACL2 Theorem Prover.
AISC
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
1999 — conf
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover.
APPIA-GULP-PRODE
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos