Embedded Voxel Colouring with Adaptive Threshold Selection Using Globally Minimal Surfaces. - Carlos Leung; Ben Appleton; Mitchell Buckley; Changming Sun (Int. J. Comput. Vis., 2012)

A formal verification of the theory of parity complexes. - Mitchell Buckley (J. Formaliz. Reason., 2015)

The Catalan Simplicial Set II. - Mitchell Buckley (Appl. Categorical Struct., 2016)