VLDB 2026 Research / reviewers in the wild / expert
Bruno Berto de Oliveira Ribeiro
dblp:384/4252
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0003-1943-7130ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A PVS Library on the Infinitude of Primes
Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara A. de Lima, Mauricio Ayala-Rincón |
CICM | 1 |
| 2024 | A Formalization of the General Theory of Quaternions
Thaynara A. de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón |
ITP | 3 |