Algorithms

Alex Acero, Richard Stern

Proc. of the International Conference on Acoustics, Speech and Signal Processing | May 1991

Rick Szeliski

Cvgip: Image Understanding | February 1991, Vol 53(2): pp. 129-153

Yuri Gurevich

CSL’90, 4th Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 533 | January 1991

Carl Kadie

January 1991

Christian Borgs, John Z. Imbrie

Commun. Math. Phys. | January 1991, Vol 145: pp. 235-280

Leslie Lamport

ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310

Alex Acero

Proc. of the International Conference on Spoken Language Systems | November 1990

Leslie Lamport

October 1990

Leslie Lamport

Communications of the ACM | September 1990, Vol 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