Dominic R. Verity

According to our database, Dominic R. Verity authored at least 7 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves.

Emily Riehl, Dominic R. Verity

Appl. Categorical Struct., 2020

2007

Robustness of the New Owner-Tester Approach for Face Identification Experiments.

Wai Han Ho, Paul Andrew Watters, Dominic R. Verity

Proceedings of the 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 2007

Are Younger People More Difficult to Identify or Just a Peer-to-Peer Effect.

Wai Han Ho, Paul Andrew Watters, Dominic R. Verity

Proceedings of the Computer Analysis of Images and Patterns, 12th International Conference, 2007

2005

Analysis, Specification and Generation of Mobile Computer Data Synchronisation.

Qingsong Ye, Anthony M. Sloane, Dominic R. Verity

Proceedings of the 2005 International Conference on Mobile Business (ICMB 2005), 2005

A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler.

Howard C. Lovatt, Anthony M. Sloane, Dominic R. Verity

Proceedings of the Conceptual Modelling 2005, 2005

2002

On the Specification of Higher Dimensional Automata.

Richard Buckland, Michael Johnson, Dominic R. Verity

Proceedings of the Categorical Methods for Concurrency, 2002

1996

Generalized logic and the representation of rings.

Simon Ambler, Dominic R. Verity

Appl. Categorical Struct., 1996