• 371 Citations
  • 8 h-Index
1994 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

1994

Modulated bicategories

Carboni, A., Johnson, S., Street, R. & Verity, D., 8 Jul 1994, In : Journal of Pure and Applied Algebra. 94, 3, p. 229-282 54 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)
1996

Generalized logic and the representation of rings

Ambler, S. & Verity, D., 1996, In : Applied Categorical Structures. 4, 2-3, p. 283-296 14 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Traced monoidal categories

Joyal, A., Street, R. & Verity, D., 1996, In : Mathematical Proceedings of the Cambridge Philosophical Society. 119, 3, p. 447-468 22 p.

Research output: Contribution to journalArticle

247 Citations (Scopus)
1998

A 2-categorical approach to change of base and geometric morphisms II

Carboni, A., Kelly, G. M., Verity, D. & Wood, R. J., 1998, In : Theory and Applications of Categories. 4, p. 82-136 55 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)
2002

On the specification of higher dimensional automata

Buckland, R., Johnson, M. & Verity, D., Nov 2002, In : Electronic Notes in Theoretical Computer Science. 68, 1, p. 3-13 11 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2003

Oriented combinatorial topology and concurrency

Johnson, M. & Verity, D., 2003, Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory. Cousot, P., Fajstrup, L., Goubault, E., Herlihy, M., Kurtz, A., Raussen, M. & Sassone, V. (eds.). Denmark: BRICS: Basic Research in Computer Science, Vol. NS-03-01. p. 51-54 4 p. (BRICS Notes Series; vol. 03, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2005

Analysis, specification and generation of mobile computer data synchronisation

Ye, Q., Sloane, A. M. & Verity, D. R., 2005, International Conference on Mobile Business: ICMB 2005: July 11-13, 2005, Crowne Plaza Darling Harbour, Sydney, Australia. Brookes, W., Lawrence, E., Steele, R. & Chang, E. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 499-506 8 p. 1493653

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
8 Downloads (Pure)

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

Lovatt, H. C., Sloane, A. M. & Verity, D. R., 2005, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling. Hartmann, S. & Stumptner, M. (eds.). Sydney, NSW: Australian Computer Society, Vol. 43. p. 69-78 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

5 Citations (Scopus)
2007

A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns

Lovatt, H., Sloane, A. M. & Verity, D. R., 2007, Design pattern formalization techniques. Taibi, T. (ed.). Hershey, PA; London: IGI Publishing, p. 324-356 33 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Are younger people more difficult to identify or just a peer-to-peer effect

Ho, W. H., Watters, P. & Verity, D., 2007, Computer Analysis of Images and Patterns - 12th International Conference, CAIP 2007, Proceedings. Kropsatsch, W. G., Kampel, M. & Hanbury, A. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 4673 LNCS. p. 351-359 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4673 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

5 Citations (Scopus)

Robustness of the new owner-tester approach for face identification experiments

Ho, W. H., Watters, P. & Verity, D., 2007, 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR'07. Flynn, P. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 1-6 6 p. 4270395

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
2 Citations (Scopus)
1 Downloads (Pure)

Weak complicial sets II - nerves of complicial Gray-categories

Verity, D., 2007, In : Contemporary mathematics. 431, p. 441-467 27 p.

Research output: Contribution to journalArticle

2008

Complicial sets characterising the simplicial nerves of strict ω-categories

Verity, D., 2008, Providence, RI: American Mathematical Society. (Memoirs of the American Mathematical Society; no. 905)

Research output: Book/ReportBook

Weak complicial sets I. Basic homotopy theory

Verity, D. R. B., 10 Nov 2008, In : Advances in Mathematics. 219, 4, p. 1081-1149 69 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)
2010

The comprehensive factorization and torsors

Street, R. & Verity, D., 2010, In : Theory and Applications of Categories. 23, p. 42-76 35 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2011

Enriched categories, internal categories and change of base

Verity, D., 2011, In : Reprints in theory and applications of categories. 20, p. 1-266 266 p.

Research output: Contribution to journalArticle

2014

The Kiama language processing library

Sloane, A., Roberts, M. & Verity, D., Apr 2014

Research output: Non-traditional research outputSoftware

The theory and practice of reedy categories

Riehl, E. & Verity, D., 13 Jun 2014, In : Theory and Applications of Categories. 29, p. 256-301 46 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)
2015
9 Citations (Scopus)

The 2-category theory of quasi-categories

Riehl, E. & Verity, D., 6 Aug 2015, In : Advances in Mathematics. 280, p. 549-642 94 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)
2016

Homotopy coherent adjunctions and the formal theory of monads

Riehl, E. & Verity, D., 2 Jan 2016, In : Advances in Mathematics. 286, p. 802-888 87 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)
2017

Fibrations and Yoneda's lemma in an ∞-cosmos

Riehl, E. & Verity, D., 1 Mar 2017, In : Journal of Pure and Applied Algebra. 221, 3, p. 499-564 66 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Kan extensions and the calculus of modules for ∞–categories

Riehl, E. & Verity, D., 2017, In : Algebraic and Geometric Topology. 17, 1, p. 189-271 83 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)
2018

The comprehension construction

Riehl, E. & Verity, D., 2018, In : Higher Structures. 2, 1, p. 116-190 75 p.

Research output: Contribution to journalArticle

Open Access
File
2020

Infinity category theory from scratch

Riehl, E. & Verity, D., 2020, In : Higher Structures. 4, 1, p. 115-167 53 p.

Research output: Contribution to journalArticle

Open Access
File
2 Downloads (Pure)

Recognizing quasi-categorical limits and colimits in homotopy coherent nerves

Riehl, E. & Verity, D., Aug 2020, In : Applied Categorical Structures. 28, 4, p. 669-716 48 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)