Improving community health worker performance through automated SMS. - Brian DeRenzi; Benjamin E. Birnbaum; Leah Findlater; Joachim Mangilima; Jonathan Payne; Tapan S. Parikh; Gaetano Borriello; Neal Lesh (ICTD, 2012)

Natural Deduction for Modal Logic with a Backtracking Operator. - Jonathan Payne (J. Philos. Log., 2015)

Extensionalizing Intensional Second-Order Logic. - Jonathan Payne (Notre Dame J. Formal Log., 2015)

Global Solutions to Master Equations for Continuous Time Heterogeneous Agent Macroeconomic Models. - Zhouzhou Gu; Mathieu Laurière; Sebastian Merkel; Jonathan Payne (CoRR, 2024)