Publication Pressure release superleak sound modes in He II David Heckerman, Ralph Rosenbaum, Seth Putterman, Gary A. Williams Journal of Low Temperature Physics | March 1980, Vol 38(5-6): pp. 629-640
Publication Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
Publication Sometime’ is Sometimes ‘Not Never’ Leslie Lamport Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1980
Publication Surface tension sound in superfluid helium films adsorbed on alumina powder Ralph Rosenbaum, G. A. Williams, David Heckerman, J. Marcus, D. Scholler, J. Maynard, I. Rudnick Journal of Low Temperature Physics | December 1979, Vol 37(5): pp. 663-678
Publication An Open Operating System for a Single-User Machine Butler Lampson, Robert F. Sproull 7th ACM Symposium on Operating Systems Principles | December 1979 Editor(s): Michael D. Schroeder, Anita K. Jones Published in ACM Operating Systems Review 11, 5 (Dec. 1979), pp 98-105. For the original, see the related file.
Publication Ramp Generator has Separate Slope and Frequency Controls Henrique S. Malvar Electronics | December 1979
Publication Letter to the Editor Leslie Lamport Communications of the ACM 22 | November 1979, Vol 11: pp. 624
Publication Constructing Digital Signatures from a One Way Function Leslie Lamport CSL-98 | October 1979 This paper was published by IEEE in the Proceedings of HICSS-43 in January, 2010.
Publication On the Proof of Correctness of a Calendar Program Leslie Lamport Communications of the ACM 22 | October 1979, Vol 10: pp. 554-556
Publication How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs Leslie Lamport IEEE Transactions on Computers C-28 | September 1979, Vol 9: pp. 690-691