VLDB 2026 Research / reviewers in the wild / expert
Thiago Mendonça Ferreira Ramos
dblp:192/4786
· DBLP profile ↗
4ranked-venue papers
2as first author
3since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 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. | 8 |
| 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. | 1 |
| 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 | 8 |
| 2018 | Formalization of the Undecidability of the Halting Problem for a Functional Language
Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
WoLLIC | 1 |