- Nonexistence of colimits in naive discrete homotopy theory, with C. Kapulkin and J. Kim, Appl. Categ. Structures 31 (2023), no.5, 41, 6 pp. [arXiv] [ACS]
- Calculus of Fractions for Quasicategories, with C. Kapulkin and Z. Lindsey, submitted, 2023. [arXiv]
- Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories, with C. Kapulkin and L.-Z. Wong, submitted, 2023. [arXiv]
- Cofibration category of digraphs for path homology, with B. Doherty, C. Kapulkin, M. Opie, M. Sarazola, and L.-Z. Wong, Algebr. Comb. 7 (2024), no. 2, 475–514. [arXiv] [ALCO]
- The Hurewicz theorem for cubical homology, with C. Kapulkin and A. Tonks, Math. Z. 305, 61 (2023), 20 pages. [arXiv] [Math.Z.]
- Cubical setting for discrete homotopy theory, revisited, with C. Kapulkin, Compos. Math. (to appear), 2022. [arXiv]
- Homotopy groups of cubical sets, with C. Kapulkin, Expo. Math. 41 (2023) 125518, no. 4, 55 pp. [arXiv] [Expo.Math.]
- 2-adjoint equivalences in homotopy type theory, with J. Chang, C. Kapulkin, and R. Sandford, Log. Methods Comput. Science 17 (2021), no. 1, Paper No. 3, 9 pp. [arXiv] [LMCS]
