论文与出版物 Monadic Theory of Order and Topology, I Yuri Gurevich Israel Journal of Mathematics | April 1977, 第 27 卷: pp. 299-319
论文与出版物 Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
论文与出版物 Report of Session on Concurrency Mike Schroeder, Jack Dennis ACM SIGPLAN Notices — Proceeding of ACM SIGPLAN – SIGOPS interface meeting on Programming languages – operating systems | September 1973
论文与出版物 A Remark on Berger’s Paper on the Domino Problem Yuri Gurevich, Igor O. Koriakov Siberian Mathematical Journal | February 1972, 第 13 卷: pp. 319-321
论文与出版物 Teaching of computer design to computer science undergraduates. Butler Lampson The Teaching of Computer Design | September 1971
论文与出版物 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