公開日 On Concurrent Reading and Writing Leslie Lamport Communications of the ACM 20 | November 1977, 巻11: pp. 806-811
公開日 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). エディションエディション 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
