André Luiz Galdino

15 papers B 3C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 B conf
A Formalization of the General Theory of Quaternions.
ITP
Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón
2023 B conf
Formalization of Algebraic Theorems in PVS (Invited Talk).
LPAR
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
2023 — conf
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.
LSFA/HCVS
Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón
2021 J jnl
Formalization of Ring Theory in PVS.
J. Autom. Reason.
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
2018 B conf
Formalizing Ring Theory in PVS.
ITP
Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino
2017 J jnl
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System.
J. Autom. Reason.
Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón
2014 J jnl
First-order unification in the PVS proof assistant.
Log. J. IGPL
Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón
2011 — conf
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
LSFA
Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón
2010 J jnl
A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem.
J. Autom. Reason.
André Luiz Galdino, Mauricio Ayala-Rincón
2010 C conf
Verification of the Completeness of Unification Algorithms à la Robinson.
WoLLIC
Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón
2008 J jnl
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language.
J. Formaliz. Reason.
André Luiz Galdino, Mauricio Ayala-Rincón
2008 — conf
A PVS Theory for Term Rewriting Systems.
LSFA
André Luiz Galdino, Mauricio Ayala-Rincón
2008 J jnl
A Theory for Abstract Reduction Systems in PVS.
CLEI Electron. J.
André Luiz Galdino, Mauricio Ayala-Rincón
2008 — —
Uma formalização da teoria de reescrita em linguagem de ordem superior
André Luiz Galdino
2007 C conf
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.
WoLLIC
André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón