VLDB 2026 Research / reviewers in the wild / expert
Stephen Flood
dblp:02/10360
· DBLP profile ↗
3ranked-venue papers
3as first author
1since 2021 · last 2022
0000-0001-8206-737XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | The computational strength of matchings in countable graphs
Stephen Flood, Matthew Jura, Oscar Levin, Tyler Markkanen |
Ann. Pure Appl. Log. | 1 |
| 2017 | Ordinals and graph decompositions
Stephen Flood |
Ann. Pure Appl. Log. | 1 |
| 2012 | Reverse mathematics and a Ramsey-type König's LemmaabstractAbstract In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle. Stephen Flood |
J. Symb. Log. | 1 |