A Computer-Aided Diagnostic System using a Global Data Grid Repository for the Evaluation of Ultrasound Carotid Images. - Marco Antonio Gutierrez 001; Silvia Helena Gelas Lage; Jasper Lee; Zheng Zhou 002 (CCGRID, 2007)

MIDG-Emerging grid technologies for multi-site preclinical molecular imaging research communities. - Jasper Lee; Jorge Documet; Brent J. Liu; Ryan Park; Archana Tank; H. K. Huang (Int. J. Comput. Assist. Radiol. Surg., 2011)

A DICOM-based 2nd generation molecular imaging data grid implementing the IHE XDS-i integration profile. - Jasper Lee; Jianguo Zhang; Ryan Park; Grant Dagliyan; Brent J. Liu; H. K. Huang (Int. J. Comput. Assist. Radiol. Surg., 2012)

Medical imaging informatics simulators: a tutorial. - H. K. Huang; Ruchi Deshpande; Jorge Documet; Anh H. Le; Jasper Lee; Kevin C. Ma; Brent J. Liu (Int. J. Comput. Assist. Radiol. Surg., 2014)

Fast Algorithms for Computing Interim Allocations in Single-Parameter Environments. - Amy Greenwald; Jasper Lee; Takehiro Oyakawa (PRIMA, 2018)

Introduction to the Minitrack on Body Sensor Networks for Personalized Medicine. - Jasper Lee; Rachel Davis-Martin; Charlotte E. Goldfine (HICSS, 2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. - George Tsoukalas; Jasper Lee; John Jennings; Jimmy Xin; Michelle Ding; Michael Jennings; Amitayush Thakur; Swarat Chaudhuri (NeurIPS, 2024)

CLEVER: A Curated Benchmark for Formally Verified Code Generation. - Amitayush Thakur; Jasper Lee; George Tsoukalas; Meghana Sistla; Matthew Zhao; Stefan Zetzsche; Greg Durrett; Yisong Yue; Swarat Chaudhuri (CoRR, 2025)