출판 Proving the Correctness of Multiprocess Programs Leslie Lamport IEEE Transactions on Software Engineering SE-3 | March 1977, 제 2 권: pp. 125-143
출판 How to Tell a Program from an Automobile Leslie Lamport In A Dynamic and Quick Intellect, John Tromp editor (1996)–a Liber Amicorum issued by the CWI in honor of Paul Vitanyi’s 25-year jubilee. | January 1977
출판 On the Glitch Phenomenon Leslie Lamport, Richard Palais November 1976 Rejected by IEEE Transactions on Computers (November 1976).
출판 Texture and Reflection in Computer Generated Images Jim Blinn Communications of the ACM | October 1976, 제 19 권(10)
출판 Multiple Byte Processing with Full-Word Instructions Leslie Lamport Communications of the ACM | August 1975, 제 18 권(8): pp. 471-475
출판 A New Solution of Dijkstra’s Concurrent Programming Problem Leslie Lamport Communications of the ACM 17 | August 1974
출판 Comment on Bell’s Quadratic Quotient Algorithm Leslie Lamport Communications of the ACM | September 1970, 제 13 권(9)
출판 Towards Lightweight, Model-Agnostic and Diversity-Aware Active Anomaly Detection Xu Zhang, Yuan Zhao, Ziang Cui, Liqun Li, Shilin He, Qingwei Lin 林庆维, Yingnong Dang, S. Rajmohan, Dongmei Zhang ICLR’23 | December 1969