1. Primitive recursive reverse mathematics;Annals of Pure and Applied Logic;2024-01
2. Prime labelings of infinite graphs;Involve, a Journal of Mathematics;2019-04-16
3. Undecidability of Equality for Codata Types;Coalgebraic Methods in Computer Science;2018
4. Computing Planarity in Computable Planar Graphs;Graphs and Combinatorics;2016-06-24
5. On the strength of marriage theorems and uniformity;Mathematical Logic Quarterly;2014-05