Mitchell Buckley

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Minimal Surface

Multiresolution

Top Venues

Appl. Categorical Struct.

J. Formaliz. Reason.

Int. J. Comput. Vis.

Publications

Mitchell Buckley
The Catalan Simplicial Set II. Appl. Categorical Struct. 24 (6) (2016)
Mitchell Buckley
A formal verification of the theory of parity complexes. CoRR (2015)
Mitchell Buckley
A formal verification of the theory of parity complexes. J. Formaliz. Reason. 8 (1) (2015)
Carlos Leung, Ben Appleton, Mitchell Buckley, Changming Sun
Embedded Voxel Colouring with Adaptive Threshold Selection Using Globally Minimal Surfaces. Int. J. Comput. Vis. 99 (2) (2012)