Two Part Proof Schema for Database Concurrency Control. - Philip A. Bernstein; Nathan Goodman; Ming-Yee Lai (Berkeley Workshop, 1981)

Analyzing Concurrency Control Algorithms When User and System Operations Differ. - Philip A. Bernstein; Nathan Goodman; Ming-Yee Lai (IEEE Trans. Software Eng., 1983)

Overview of the Jasmin Database Machine. - Daniel H. Fishman; Ming-Yee Lai; W. Kevin Wilkinson (SIGMOD Conference, 1984)

Managing Replicate Data in JASMIN. - W. Kevin Wilkinson; Ming-Yee Lai (Symposium on Reliability in Distributed Software and Database Systems, 1984)

Distributed Transaction Management in Jasmin. - Ming-Yee Lai; W. Kevin Wilkinson (VLDB, 1984)

The JASMIN Kernel as a Data Manager Base. - W. Kevin Wilkinson; Ming-Yee Lai (IEEE Database Eng. Bull., 1986)

Protocol Verification Using Relational Database Systems. - Ming-Yee Lai; Tony T. Lee (ICDE, 1987)

Distributing the Optimistic Multiversioning Page Manager in the Jasmin Database Machine. - Ming-Yee Lai; Vladimir Lanin (IWDM, 1987)

A Relational Algebraic Approach to Protocol Verification. - Tony T. Lee; Ming-Yee Lai (IEEE Trans. Software Eng., 1988)

On Distributing JASMIN's Optimistic Multiversioning Page Manager. - Ming-Yee Lai; W. Kevin Wilkinson; Vladimir Lanin (IEEE Trans. Software Eng., 1989)

An Advanced Overview of the XIS Architecture. - Ming-Yee Lai (ICSI, 1990)

Next Generation Enterprises: A Framework for Analysis. - Amjad Umar; Deborah Elsinger; Ming-Yee Lai (AIWoRC, 2000)

Automatic over-the-air provisioning for Wi-Fi equipped M2M devices. - Kenji Hori; Tomohiko Ogishi; Ming-Yee Lai; Dana Chee; Kaustubh Sinkar (LCN, 2013)

Over-the-air remote management and control of IP-based M2M devices. - Christian Makaya; Ming-Yee Lai; Fuchun Joseph Lin (WF-IoT, 2015)