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
Publication Time Polynomial In Input or Output Yuri Gurevich, Saharon Shelah J. Symbolic Logic | April 1989, Vol 54(3): pp. 1083-1088
Publication The LOT: Transform Coding Without Blocking Effects Henrique S. Malvar, David H. Staelin, Henrique S. Malvar IEEE Transactions on Acoustics, Speech, and Signal Processing | April 1989 Best Paper Award in Image Processing, IEEE Signal Processing Society, 1992.
Publication A Simple Approach to Specifying Concurrent Systems Leslie Lamport Proc. of ACM SIGCOMM. Communications of the ACM 32. Also appeared as SRC Research Report 15. | January 1989
Publication A Unified Approach to Phase Diagrams in Field Theory and Statistical Mechanics Christian Borgs, John Z. Imbrie Commun. Math. Phys. | October 1988, Vol 128: pp. 305-328
Publication A Lattice-Structured Proof of a Minimum Spanning Tree Algorithm Jennifer Lundelius Welch, Leslie Lamport, Nancy Lynch Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing | August 1988
Publication Another Position Paper on Fairness Fred B. Schneider, Leslie Lamport Software Engineering Notes | July 1988, Vol 13(3): pp. 1-2
