Reverse mathematics and Ramsey's property for trees. - Jared Corduan; Marcia J. Groszek; Joseph R. Mileti (J. Symb. Log., 2010)

On the Indecomposability of ωn. - Jared Corduan; François G. Dorais (Notre Dame J. Formal Log., 2012)

Reverse Mathematics and Ramsey Properties of Partial Orderings. - Jared Corduan; Marcia J. Groszek (Notre Dame J. Formal Log., 2016)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)