A Fibrational Framework for Substructural and Modal Logics. - Daniel R. Licata; Michael Shulman; Mitchell Riley (FSCD, 2017)

Identification of Images of COVID-19 from Chest X-rays Using Deep Learning: Comparing COGNEX VisionPro Deep Learning 1.0™ Software with Open Source Convolutional Neural Networks. - Arjun Sarkar; Joerg Vandenhirtz; Jozsef Nagy; David Bacsa; Mitchell Riley (SN Comput. Sci., 2021)

A Type Theory with a Tiny Object. - Mitchell Riley (CoRR, 2024)