Case Analysis in Euclidean Geometry: An Overview. - Nathaniel Miller (Diagrams, 2000)

CDEG: Computerized Diagrammatic Euclidean Geometry. - Nathaniel Miller (Diagrams, 2002)

Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. - Nathaniel Miller (Diagrams, 2006)

Computational complexity of diagram satisfaction in Euclidean geometry. - Nathaniel Miller (J. Complex., 2006)

A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. - Nathaniel Miller (J. Philos. Log., 2006)

Macademia: semantic visualization of research interests. - Shilad Sen; Henry Charlton; Ryan Kerwin; Jeremy Lim; Brandon Maus; Nathaniel Miller; Megan R. Naminski; Alex Schneeman; Anthony Tran; Ernesto Nunes; E. Isaac Sparling (IUI, 2011)

CDEG: Computerized Diagrammatic Euclidean Geometry 2.0. - Nathaniel Miller (Diagrams, 2012)

On the Inconsistency of Mumma's Eu. - Nathaniel Miller (Notre Dame J. Formal Log., 2012)

Getting to the source: where does Wikipedia get its information from? - Heather Ford; Shilad Sen; David R. Musicant; Nathaniel Miller (OpenSym, 2013)

Simultaneous Tracking of Multiple Ground Targets from a Multirotor Unmanned Aerial Vehicle. - Nathaniel Miller; Jonathan D. Rogers (J. Aerosp. Inf. Syst., 2015)

The UW Virtual Brain Project: An immersive approach to teaching functional neuroanatomy. - Karen B. Schloss; Melissa A. Schoenlein; Ross Tredinnick; Simon Smith; Nathaniel Miller; Chris Racey; Christian Castro; Bas Rokers (CoRR, 2021)