Publication Fast shape from shading Rick Szeliski Cvgip: Image Understanding | February 1991, Vol 53(2): pp. 129-153
Publication On the Reduction Theory for Average-Case Complexity Yuri Gurevich CSL’90, 4th Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 533 | January 1991
Publication Finite-Size Scaling and Surface Tension from Effective One-Dimensional Systems Christian Borgs, John Z. Imbrie Commun. Math. Phys. | January 1991, Vol 145: pp. 235-280
Publication Quantifying the Value of Constructive Induction, Knowledge, and Noise Filtering on Inductive Learning Carl Kadie January 1991
Publication The Concurrent Reading and Writing of Clocks Leslie Lamport ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310
Publication Acoustical Pre-Processing for Robust Spoken Language Systems Alex Acero Proc. of the International Conference on Spoken Language Systems | November 1990
Publication The Mutual Exclusion Problem Has Been Solved Leslie Lamport Communications of the ACM | September 1990, Vol 34(1): pp. 110
Publication A Theorem on Atomicity in Distributed Algorithms Leslie Lamport Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, Vol 4(2): pp. 59-68
Publication Distributed Computing: Models and Methods 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