María-José Hidalgo

14 papers B 1C 2Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
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
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
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
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 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