Andr Luiz Galdino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2007–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ITP | A Formalization of the General Theory of Quaternions. | Thaynara Arielly de Lima, Andr Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincn |
| 2023 | LPAR | Formalization of Algebraic Theorems in PVS (Invited Talk). | Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino |
| 2018 | ITP | Formalizing Ring Theory in PVS. | Andria B. Avelar da Silva, Thaynara Arielly de Lima, Andr Luiz Galdino |
| 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 |
| 2007 | WoLLIC | Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. | Andr Luiz Galdino, Csar A. Muoz, Mauricio Ayala-Rincn |