( en | de | ru )

 

Disambiguation of "Verity, Dominic R."

Author of the publication

copydeleteadd this publication to your clipboard
On the Specification of Higher Dimensional Automata.

, , and . Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, volume 68 of Electronic Notes in Theoretical Computer Science, page 1-11. Elsevier, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dominic Wist

Dominic Klingen

Dominic Schöneich

Dominic Wäsch

Dominic Janssen

 

Other publications of authors with the same name

Generalized logic and the representation of rings., and . Appl. Categorical Struct., 4 (2-3): 283-296 (1996)A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler., , and . APCCM, volume 43 of CRPIT, page 69-78. Australian Computer Society, (2005)Analysis, Specification and Generation of Mobile Computer Data Synchronisation., , and . ICMB, page 499-506. IEEE Computer Society, (2005)Robustness of the New Owner-Tester Approach for Face Identification Experiments., , and . CVPR, IEEE Computer Society, (2007)Are Younger People More Difficult to Identify or Just a Peer-to-Peer Effect., , and . CAIP, volume 4673 of Lecture Notes in Computer Science, page 351-359. Springer, (2007)On the Specification of Higher Dimensional Automata., , and . Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, volume 68 of Electronic Notes in Theoretical Computer Science, page 1-11. Elsevier, (2002)Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves., and . Appl. Categorical Struct., 28 (4): 669-716 (2020)