Jos-Luis Ruiz-Reina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2000–2017
Best venue rank
Australasian
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ITP | Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. | Laureano Lambn, Francisco J. Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2014 | AISC | Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk). | Jos-Luis Ruiz-Reina |
| 2013 | ISSAC | Certified symbolic manipulation: bivariate simplicial polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2011 | ITP | Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. | Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina |
| 2004 | AISC | Verified Computer Algebra in Acl2. Grbner Bases Computation. | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jos A. Alonso-Jimnez, Jos-Luis Ruiz-Reina |
| 2003 | LOPSTR | Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. | Jos-Luis Ruiz-Reina, Jos Antonio Alonso Jimenez, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos |
| 2003 | LPAR | A Formal Proof of Dickson's Lemma in ACL2. | Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina |
| 2002 | LOPSTR | Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. | Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina |
| 2000 | AISC | Formalizing Rewriting in the ACL2 Theorem Prover. | Jos-Luis Ruiz-Reina, Jos-Antonio Alonso, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos |