Jared Corduan

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Provably Correct

Practical Experience

Top Venues

Notre Dame J. Formal Log.

Publications

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
Jared Corduan, Marcia J. Groszek
Reverse Mathematics and Ramsey Properties of Partial Orderings. Notre Dame J. Formal Log. 57 (1) (2016)
Jared Corduan, François G. Dorais
. Notre Dame J. Formal Log. 53 (3) (2012)
Jared Corduan, Marcia J. Groszek, Joseph R. Mileti
Reverse mathematics and Ramsey's property for trees. J. Symb. Log. 75 (3) (2010)