A Tur'an-type problem for circular arc graphs - Rosalie Carlson; Stephen Flood; Kevin O'Neill; Francis Edward Su (CoRR, 2011)

Reverse mathematics and a Ramsey-type König's Lemma. - Stephen Flood (J. Symb. Log., 2012)

Separating principles below WKL0. - Stephen Flood; Henry Towsner (Math. Log. Q., 2016)

Ordinals and graph decompositions. - Stephen Flood (Ann. Pure Appl. Log., 2017)

Effectiveness for the Dual Ramsey Theorem. - Damir D. Dzhafarov; Stephen Flood; Reed Solomon; Linda Brown Westrick (Notre Dame J. Formal Log., 2021)

The computational strength of matchings in countable graphs. - Stephen Flood; Matthew Jura; Oscar Levin; Tyler Markkanen (Ann. Pure Appl. Log., 2022)