论文与出版物 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
论文与出版物 How (La)TeX changed the face of Mathematics Leslie Lamport Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51
论文与出版物 Definability and Undefinability with Real Order at the Background Yuri Gurevich, Alexander Rabinovich Journal of Symbolic Logic | January 2000, 第 65 卷(2): pp. 946-958
论文与出版物 Gibbs States of Graphical Representations of the Potts Model with External Fields M. Biskup, Christian Borgs, Jennifer Chayes, R. Kotecky Journal of Mathematical Physics | January 2000