Michael Lai

According to our database1, Michael Lai authored at least 7 papers between 1983 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Variations in genome-wide RNAi screens: lessons from influenza research.
J. Clin. Bioinform., 2015

2010
Multi-core scalability-impacting compiler optimizations.
Comput. Sci. Res. Dev., 2010

2005
Multi-protocol embedded PCS IP in a FPGA-SOC.
Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005

1994
An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1992
Some Experiments with a Completion Theorem Prover.
J. Symb. Comput., 1992

1990
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!
Proceedings of the Foundations of Object-Oriented Languages, 1990

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


  Loading...