The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José-Luis Ruiz-Reina: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:289-304 [Conf]
  2. Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
    Verified Computer Algebra in Acl2. Gröbner Bases Computation. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:171-184 [Conf]
  3. José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
    Formalizing Rewriting in the ACL2 Theorem Prover. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:92-106 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2003, pp:344-353 [Conf]
  5. Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
    Verifying an Applicative ATP Using Multiset Relations. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:612-626 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:182-198 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:75-91 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:49-58 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:358-372 [Conf]
  10. José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
    Formal Proofs About Rewriting Using ACL2. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:239-262 [Journal]
  11. José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo
    Formal Correctness of a Quadratic Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:1-2, pp:67-92 [Journal]
  12. José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
    A Formally Verified Prover for the ALC Description Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:135-150 [Conf]

  13. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. [Citation Graph (, )][DBLP]


  14. Constructing Formally Verified Reasoners for the ACC Description Logic. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002