María-José Hidalgo

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

Publications

Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2. J. Autom. Reason. 47 (3) (2011)
María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Constructing Formally Verified Reasoners for the ACL Description Logic. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Description Logic. TPHOLs (2007)
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
Formal Correctness of a Quadratic Unification Algorithm. J. Autom. Reason. 37 (1-2) (2006)
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. TPHOLs (2005)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of a Generic Framework to Synthetize SAT-Provers. J. Autom. Reason. 32 (4) (2004)
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. LOPSTR (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
A Formal Proof of Dickson's Lemma in ACL2. LPAR (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Formal Verification of Molecular Computational Models in ACL2: A Case Study. CAEPIA (2003)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. LOPSTR (2002)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formal Proofs About Rewriting Using ACL2. Ann. Math. Artif. Intell. 36 (3) (2002)
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Verifying an Applicative ATP Using Multiset Relations. EUROCAST (2001)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Formalizing Rewriting in the ACL2 Theorem Prover. AISC (2000)
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. APPIA-GULP-PRODE (1999)