Methodologies for Extracting Functional Pharmacogenomic Experiments from International Repository. - Yi-An Lin; Annie P. Chiang; Ray Lin; Peggy Yao; Rong Chen 006; Atul J. Butte (AMIA, 2007)

Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor. - Louis-Emile Ploix; Alasdair Armstrong; Tom Melham; Ray Lin; Haolong Wang; Anastasia Courtney (CoRR, 2025)