Jos-Antonio Alonso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2000–2005
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | MDAI | A Statistical Criterion of Consistency in the Analytic Hierarchy Process. | Jos-Antonio Alonso, Mara Teresa Lamata |
| 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 |