출판 H.263 (Including H.263+) and Other ITU-T Video Coding Standards Tsuhan Chen, Gary Sullivan, Atul Puri Multimedia Systems, Standards, and Networks | 글쓴이 CRC Press | 2000
출판 When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion Leslie Lamport, Sharon Perl, William Weihl Information Processing Letters | March 2000, 제 76 권(3): pp. 131-134
출판 Marmot: An Optimizing Compiler for Java Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi MSR-TR-99-33 | March 2000
출판 Fast Progressive Image Coding Without Wavelets Henrique S. Malvar Data Compression Conference | March 2000 Data Compression Conference
출판 The Underlying Logic of Hoare Logic Andreas Blass, Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | February 2000
출판 A Decision-Theoretic Approach to Targeted Advertising Max Chickering, David Heckerman MSR-TR-2000-17 | February 2000 Proceedings of the International Conference on Functional Programming
출판 Efficient Discovery of Error-Tolerant Frequent Itemsets in High Dimensions Cheng Yang, Usama Fayyad, Paul S. Bradley MSR-TR-2000-20 | February 2000
출판 Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 글쓴이 Microsoft 프로젝트
출판 General Theory of Lee-Yang Zeros in Models with First-Order Phase Transitions M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecky Physical Review Letters | January 2000