Francisco-Jess Martn-Mateos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2000–2013
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 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 |