VLDB 2026 Research / reviewers in the wild / expert
Fabián Fernando Serrano Suárez
dblp:328/9740
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2022
0000-0002-9817-4855ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Formalising Basic Topology for Computational Logic in Simple Type Theory
David Fuenmayor, Fabián Fernando Serrano Suárez |
CICM | 2 |
| 2022 | Hall's Theorem for Enumerable Families of Finite Sets
Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara A. de Lima |
CICM | 1 |