Michael Lai

According to our database, Michael Lai authored at least 8 papers between 1983 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, August, 2025

2015

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

2010

Multi-core scalability-impacting compiler optimizations.

Dinesh C. Suresh, Roy Ju, Michael Lai, Mei Ye

Comput. Sci. Res. Dev., 2010

2005

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, Steve Park, Lana Chan, Divya Vijayaraghavan, John Lam, Rakesh H. Patel

Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005

1994

An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence.

Barbara Simons, Vivek Sarkar, Maurício Breternitz Jr., Michael Lai

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1992

Some Experiments with a Completion Theorem Prover.

Ursula Martin, Michael Lai

J. Symb. Comput., 1992

1990

Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!

Elspeth Cusack, Michael Lai

Proceedings of the Foundations of Object-Oriented Languages, 1990

1983

Communications Software Tools.

Michael Lai

Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983