Algorithms

Roberto de Prisco, Butler Lampson, Nancy Lynch

Theoretical Computer Science | July 2000, Vol 243(1): pp. 35-91

A preliminary version appeared as Proc. WDAG'97, Lecture Notes in Computer Science 1320, Springer, 1997, pp 111-125

Wei Chen, Sam Toueg, Marcus K. Aguilera

In Proceedings of the International Conference on Dependable Systems and Networks (DSN’2000), New York, NY, USA, IEEE Computer Society and IFIP WG 10.4, June 2000, pp. 191-200. | June 2000

Winner of the William C. Carter Award

Luca Cardelli, Andy Gordon

Theoretical Computer Science | June 2000, Vol 240(1): pp. 177-213

Tom Minka

June 2000

Stan. Z. Li

June 2000

Yunnan Wu, Lin Luo, Jin Li, Ya-Qin Zhang

SPIE Visual Communication and Image Processing (VCIP 2000), Perth, Australia | June 2000

VCIP 2000 student paper award

Xiaolin Wu, Philip A. Chou, Xiaohui Xue

Int’l Symp. on Information Theory | June 2000

Int'l Symp. on Information Theory

Andrew Fitzgibbon, A. Zisserman

Proceedings of the European Conference on Computer Vision | June 2000

Proceedings of the European Conference on Computer Vision

Leslie Lamport

Distributed Computing. Also appeared as SRC Research Report 152. A preliminary version of this paper was rejected by Concur 99. | May 2000

Leslie Lamport

Ninth International World Wide Web Conference: Poster Proceedings | May 2000