VLDB 2026 Research / reviewers in the wild / expert
Reid Barton
dblp:158/2231
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A Computer Formalisation of the Serre Finiteness Theorem
Reid Barton, Axel Ljungström, Owen Milner, Anders Mörtberg |
LICS | 1 |
| 2025 | A short proof of the Frobenius property for generic fibrationsabstractAbstract We give a simple diagrammatic proof of the Frobenius property for generic fibrations that does not depend on any additional structure on the interval object such as connections. Reid Barton |
Math. Struct. Comput. Sci. | 1 |