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)

Visualizing Dynamic Bitcoin Transaction Patterns. - Dan McGinn; David Birch; David Akroyd; Miguel Molina-Solana; Yike Guo; William J. Knottenbelt (Big Data, 2016)

Toward Open Data Blockchain Analytics: A Bitcoin Perspective. - Dan McGinn; Doug McIlwraith; Yike Guo (CoRR, 2018)