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 win and sin: Predicate Transformers for Concurrency Leslie Lamport ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
Publication Finite-Size Scaling for Potts Models Christian Borgs, Roman Kotecky, Salvador Miracle-Sole J. Stat. Phys. | June 1990
Publication Memory Management in the Tera MTA Computer System Richard Korry, Cathy McCann, Burton Smith June 1990 June 1990
Publication Fast surface interpolation using hierarchical basis functions Rick Szeliski IEEE Transactions on Pattern Analysis and Machine Intelligence | May 1990, Vol 12(6): pp. 513-528
Publication Environmental Robustness in Automatic Speech Recognition Alex Acero Proc. of International Conference on Acoustics, Speech, and Signal Processing | April 1990
Publication A Rigorous Theory of Finite Size Scaling at First Order Phase Transitions Jennifer Chayes, Roman Kotecky J. Stat. Phys. | March 1990, Vol 61: pp. 79-110
Publication Kalman Filter-based Algorithms for Estimating Depth from Image Sequences Larry Matthies, Rick Szeliski, Takeo Kanade International Journal of Computer Vision | August 1989, Vol 3(3): pp. 209-238