Algorithms

Leslie Lamport

Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV’93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993

Dan Geiger, David Heckerman

MSR-TR-93-09 | July 1993

Proceedings of the IEEE International Conference on Data Mining (ICDM)

Leslie Lamport

A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374. | June 1993

Michael B. Jones

MSR-TR-93-05 | June 1993

Leslie Lamport

Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition

David R. Hanson, Michael Golan

April 1993

Microsoft Project Sequoia 2000 Team

April 1993

D. James Gemmell, Jim Gemmell

April 1993

David Hanson

MSR-TR-98-50 | April 1993

Leslie Lamport

IEEE Transactions on Computers SRC Research Report 96 | February 1993, Vol 46(7): pp. 779-782