Mara-Jos Hidalgo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2000–2003
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |