Algorithms

Leslie Lamport

October 1990

Leslie Lamport

Communications of the ACM | September 1990, 第 34 卷(1): pp. 110

Leslie Lamport, Nancy Lynch

Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199

Leslie Lamport

Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, 第 4 卷(2): pp. 59-68

Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990

Christian Borgs, Roman Kotecky, Salvador Miracle-Sole

J. Stat. Phys. | June 1990

Carl Kadie

June 1990

Richard Korry, Cathy McCann, Burton Smith

June 1990

June 1990

Rick Szeliski

IEEE Transactions on Pattern Analysis and Machine Intelligence | May 1990, 第 12 卷(6): pp. 513-528

Alex Acero

Proc. of International Conference on Acoustics, Speech, and Signal Processing | April 1990