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 Memory Management in the Tera MTA Computer System Richard Korry, Cathy McCann, Burton Smith June 1990
Publication Finite-Size Scaling for Potts Models Christian Borgs, Roman Kotecky, Salvador Miracle-Sole J. Stat. Phys. | 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
Publication Realizable and Unrealizable Specifications of Reactive Systems Martin Abadi, Leslie Lamport, Pierre Wolper Automata, Languages and Programming, Springer-Verlag | July 1989, pp. 1-17