Algorithms

Leslie Lamport

March 2000

Leslie Lamport, Sharon Perl, William Weihl

Information Processing Letters | March 2000, Vol 76(3): pp. 131-134

Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi

MSR-TR-99-33 | March 2000

Henrique S. Malvar

Data Compression Conference | March 2000

Data Compression Conference

Andreas Blass, Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | February 2000

Max Chickering, David Heckerman

MSR-TR-2000-17 | February 2000

Proceedings of the International Conference on Functional Programming

Cheng Yang, Usama Fayyad, Paul S. Bradley

MSR-TR-2000-20 | February 2000

Thomas Ball, Sriram Rajamani

MSR-TR-2000-14 | February 2000

Published by Microsoft

Project

M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecky

Physical Review Letters | January 2000

Leslie Lamport

Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51