BibTeX records: Michael Lai

download as .bib file

@article{DBLP:journals/jclinbioinf/ChouLWHJS15,
  author    = {Yu{-}Chi Chou and
               Michael Lai and
               Yi{-}Chen Wu and
               Nai{-}Chi Hsu and
               King{-}Song Jeng and
               Wen{-}Chi Su},
  title     = {Variations in genome-wide RNAi screens: lessons from influenza research},
  journal   = {J. Clin. Bioinform.},
  volume    = {5},
  pages     = {2},
  year      = {2015},
  url       = {https://doi.org/10.1186/s13336-015-0017-5},
  doi       = {10.1186/s13336-015-0017-5},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jclinbioinf/ChouLWHJS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/SureshJLY10,
  author    = {Dinesh C. Suresh and
               Roy Ju and
               Michael Lai and
               Mei Ye},
  title     = {Multi-core scalability-impacting compiler optimizations},
  journal   = {Comput. Sci. Res. Dev.},
  volume    = {25},
  number    = {1-2},
  pages     = {15--24},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00450-010-0113-5},
  doi       = {10.1007/s00450-010-0113-5},
  timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ife/SureshJLY10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/VenkataCTLNKNZX05,
  author    = {Ramanand Venkata and
               Vinson Chan and
               Binh Ton and
               Chong Lee and
               Huy Ngo and
               Malik Kabani and
               Tam Nguyen and
               Arch Zaliznyak and
               Ning Xue and
               Steven Shen and
               Michael Zheng and
               Michael Lai and
               Steve Park and
               Lana Chan and
               Divya Vijayaraghavan and
               John Lam and
               Rakesh H. Patel},
  title     = {Multi-protocol embedded {PCS} {IP} in a {FPGA-SOC}},
  booktitle = {Proceedings of the {IEEE} 2005 Custom Integrated Circuits Conference,
               {CICC} 2005, DoubleTree Hotel, San Jose, California, USA, September
               18-21, 2005},
  pages     = {783--786},
  publisher = {{IEEE}},
  year      = {2005},
  url       = {https://doi.org/10.1109/CICC.2005.1568785},
  doi       = {10.1109/CICC.2005.1568785},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/cicc/VenkataCTLNKNZX05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SimonsSBL94,
  author    = {Barbara Simons and
               Vivek Sarkar and
               Maur{\'{\i}}cio Breternitz Jr. and
               Michael Lai},
  title     = {An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence},
  booktitle = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
               January 4-7, 1994, Maui, Hawaii, {USA}},
  pages     = {502--511},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/hicss/SimonsSBL94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinL92,
  author    = {Ursula Martin and
               Michael Lai},
  title     = {Some Experiments with a Completion Theorem Prover},
  journal   = {J. Symb. Comput.},
  volume    = {13},
  number    = {1},
  pages     = {81--100},
  year      = {1992},
  url       = {https://doi.org/10.1016/0747-7171(92)90007-Q},
  doi       = {10.1016/0747-7171(92)90007-Q},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jsc/MartinL92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/CusackL90,
  author    = {Elspeth Cusack and
               Michael Lai},
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Object-Oriented Specification on {LOTOS} and Z, or My Cat Really is
               Object-Oriented!},
  booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
               The Netherlands, May 28 - June 1, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {489},
  pages     = {179--202},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0019444},
  doi       = {10.1007/BFb0019444},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/rex/CusackL90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/Lai83,
  author    = {Michael Lai},
  title     = {Communications Software Tools},
  booktitle = {Proceedings {IEEE} {INFOCOM} 83, San Diego, CA, USA, April 18-21,
               1983},
  pages     = {589--590},
  publisher = {{IEEE}},
  year      = {1983},
  timestamp = {Mon, 26 Jan 2015 16:54:53 +0100},
  biburl    = {https://dblp.org/rec/conf/infocom/Lai83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics