Algorithms

Leslie Lamport, Fred B. Schneider

SRC Research Report 44 | May 1989

Yuri Gurevich, Saharon Shelah

J. Symbolic Logic | April 1989, Vol 54(3): pp. 1083-1088

Henrique S. Malvar, David H. Staelin, Henrique S. Malvar

IEEE Transactions on Acoustics, Speech, and Signal Processing | April 1989

Best Paper Award in Image Processing, IEEE Signal Processing Society, 1992.

Leslie Lamport

Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989

Christian Borgs, John Z. Imbrie

Commun. Math. Phys. | October 1988, Vol 128: pp. 305-328

David Kurlander, Steven Feiner

October 1988

Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988

Fred B. Schneider, Leslie Lamport

Software Engineering Notes | July 1988, Vol 13(3): pp. 1-2

Leslie Lamport

April 1988

Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 11. | April 1988, pp. 267-281