Generalized logic and the representation of rings. - Simon Ambler; Dominic R. Verity (Appl. Categorical Struct., 1996)

On the Specification of Higher Dimensional Automata. - Richard Buckland; Michael Johnson; Dominic R. Verity (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler. - Howard C. Lovatt; Anthony M. Sloane; Dominic R. Verity (APCCM, 2005)

Analysis, Specification and Generation of Mobile Computer Data Synchronisation. - Qingsong Ye; Anthony M. Sloane; Dominic R. Verity (ICMB, 2005)

Are Younger People More Difficult to Identify or Just a Peer-to-Peer Effect. - Wai Han Ho; Paul Andrew Watters; Dominic R. Verity (CAIP, 2007)

Robustness of the New Owner-Tester Approach for Face Identification Experiments. - Wai Han Ho; Paul Andrew Watters; Dominic R. Verity (CVPR, 2007)

Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves. - Emily Riehl; Dominic R. Verity (Appl. Categorical Struct., 2020)