Ariane Alves Almeida

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Rewrite Systems

Recursive Functions

Formal Verification

Theorem Proving

Top Venues

J. Autom. Reason.

Publications

César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalization of the Computational Theory of a Turing Complete Functional Language Model. J. Autom. Reason. 66 (4) (2022)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP (2021)
Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalizing the dependency pair criterion for innermost termination. Sci. Comput. Program. 195 (2020)
Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
The Computational Relevance of Formal Logic Through Formal Proofs. FMTea (2019)
Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalizing the Dependency Pair Criterion for Innermost Termination. CoRR (2019)
Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón
Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. SBCCI (2014)