VLDB 2026 Research / reviewers in the wild / expert
Ariane Alves Almeida
dblp:153/1804
· DBLP profile ↗
4ranked-venue papers
1as first author
3since 2021 · last 2023
0000-0002-6235-8513ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos |
J. Autom. Reason. | 6 |
| 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. | 2 |
| 2021 | 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 Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos |
ITP | 6 |
| 2020 | Formalizing the dependency pair criterion for innermost termination
Ariane Alves Almeida, Mauricio Ayala-Rincón |
Sci. Comput. Program. | 1 |