Dan McGinn

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 2

Top Topics

Spatio Temporal

Interesting Patterns

Interactive Visualization

Top Venues

Publications

Dan McGinn, Doug McIlwraith, Yike Guo
Toward Open Data Blockchain Analytics: A Bitcoin Perspective. CoRR (2018)
Dan McGinn, David Birch, David Akroyd, Miguel Molina-Solana, Yike Guo, William J. Knottenbelt
Visualizing Dynamic Bitcoin Transaction Patterns. Big Data 4 (2) (2016)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Quantifier Elimination for a Class of Intuitionistic Theories. Notre Dame J. Formal Log. 49 (3) (2008)
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Kripke submodels and universal sentences. Math. Log. Q. 53 (3) (2007)