Algorithms

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

Microsoft Project Sequoia 2000 Team

April 1993

David Hanson

MSR-TR-98-50 | April 1993

David R. Hanson, Michael Golan

April 1993

D. James Gemmell, Jim Gemmell

April 1993

Leslie Lamport

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

Gagan Aggarwal, Jason D. Hartline

ACM/SIAM Symposium on Discrete Algorithms (SODA) | January 1993

Project

Margus Veanes

January 1993

January 1993

Olivier Faugeras, Bernard Hotz, Hervé Mathieu, Thierry Viéville, Zhengyou Zhang, Pascal Fua, Eric Théron, Laurent Moll, Gérard Berry, Jean Vuillemin, Patrice Bertin, Catherine Proy

| January 1993

Principles of Programming Languages (POPL)

Stephen Robertson, S. Walker, M. Hancock-Beaulieu, A. Gull, M. Lau

The First Text REtrieval Conference (TREC-1) | January 1993