출판 On-line Data Compression in a Log-structured File System Michael Burrows, Charles Jerian, Butler Lampson, Timothy Mann Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (ASPLOS-V) | September 1992 ACM Sigplan Notices 27, 9 (Sept. 1992)
출판 Critique of the Lake Arrowhead Three Leslie Lamport Distributed Computing | August 1992, pp. 65-71
출판 Generative Modeling: A Symbolic System for Geometric Modeling John Snyder, James T. Kajiya ACM SIGGRAPH | August 1992
출판 Mechanical Verification of Concurrent Systems with TLA Urban Engberg, Peter Gronning, Leslie Lamport Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV’92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992
출판 Crossover-Finite-Size Scaling at First Order Transitions Christian Borgs, John Z. Imbrie J. Stat. Phys. | April 1992
출판 Efficient Joint Compensation of Speech for the Effects of Additive Noise and Linear System Alex Acero Proc. of the Sixth ARPA Workshop on Human Language Technology | March 1992
출판 Finite-Size Scaling for Potts Models in Long Cylinders Christian Borgs Nucl. Phys. | February 1992