Communications Software Tools. - Michael Lai (INFOCOM, 1983)

Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! - Elspeth Cusack; Michael Lai (REX Workshop, 1990)

Some Experiments with a Completion Theorem Prover. - Ursula Martin; Michael Lai (J. Symb. Comput., 1992)

An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence. - Barbara Simons; Vivek Sarkar; Maurício Breternitz Jr.; Michael Lai (HICSS (2), 1994)

Multi-protocol embedded PCS IP in a FPGA-SOC. - Ramanand Venkata; Vinson Chan; Binh Ton; Chong Lee; Huy Ngo; Malik Kabani; Tam Nguyen; Arch Zaliznyak; Ning Xue; Steven Shen; Michael Zheng; Michael Lai; et al. (CICC, 2005)

Multi-core scalability-impacting compiler optimizations. - Dinesh C. Suresh; Roy Ju; Michael Lai; Mei Ye (Comput. Sci. Res. Dev., 2010)

Variations in genome-wide RNAi screens: lessons from influenza research. - Yu-Chi Chou; Michael Lai; Yi-Chen Wu; Nai-Chi Hsu; King-Song Jeng; Wen-Chi Su (J. Clin. Bioinform., 2015)

StoryEnsemble: Enabling Dynamic Exploration & Iteration in the Design Process with AI and Forward-Backward Propagation. - Sangho Suh; Michael Lai; Kevin Pu; Steven P. Dow; Tovi Grossman (CoRR, 2025)