Andria B. Avelar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2023
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | LPAR | Formalization of Algebraic Theorems in PVS (Invited Talk). | Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino |
| 2021 | ITP | Formal Verification of Termination Criteria for First-Order Recursive Functions. | Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos |
| 2010 | WoLLIC | Verification of the Completeness of Unification Algorithms la Robinson. | Andria B. Avelar, Flvio L. C. de Moura, Andr Luiz Galdino, Mauricio Ayala-Rincn |