Kripke submodels and universal sentences. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Math. Log. Q., 2007)

Quantifier Elimination for a Class of Intuitionistic Theories. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Notre Dame J. Formal Log., 2008)

Syntactic Preservation Theorems for Intuitionistic Predicate Logic. - Jonathan Fleischmann (Notre Dame J. Formal Log., 2010)

Chrono: An Open Source Multi-physics Dynamics Engine. - Alessandro Tasora; Radu Serban; Hammad Mazhar; Arman Pazouki; Daniel Melanz; Jonathan Fleischmann; Michael Taylor; Hiroyuki Sugiyama; Dan Negrut (HPCSE, 2015)