Dominic R. Verity

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 1

Top Topics

Numerical Values

Digital Libraries

Top Venues

Appl. Categorical Struct.

Publications

Emily Riehl, Dominic R. Verity
Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves. Appl. Categorical Struct. 28 (4) (2020)
Wai Han Ho, Paul Andrew Watters, Dominic R. Verity
Robustness of the New Owner-Tester Approach for Face Identification Experiments. CVPR (2007)
Wai Han Ho, Paul Andrew Watters, Dominic R. Verity
Are Younger People More Difficult to Identify or Just a Peer-to-Peer Effect. CAIP (2007)
Qingsong Ye, Anthony M. Sloane, Dominic R. Verity
Analysis, Specification and Generation of Mobile Computer Data Synchronisation. ICMB (2005)
Howard C. Lovatt, Anthony M. Sloane, Dominic R. Verity
A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler. APCCM (2005)
Richard Buckland, Michael Johnson, Dominic R. Verity
On the Specification of Higher Dimensional Automata. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Simon Ambler, Dominic R. Verity
Generalized logic and the representation of rings. Appl. Categorical Struct. 4 (2-3) (1996)