Ariane Alves Almeida

According to our database, Ariane Alves Almeida authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verification of Termination Criteria for First-Order Recursive Functions.

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

J. Autom. Reason., December, 2023

2022

Formalization of the Computational Theory of a Turing Complete Functional Language Model.

Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón

J. Autom. Reason., 2022

2020

Formalizing the dependency pair criterion for innermost termination.

Ariane Alves Almeida, Mauricio Ayala-Rincón

Sci. Comput. Program., 2020

2019

The Computational Relevance of Formal Logic Through Formal Proofs.

Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2014

Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS.

Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón

Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014