Publication Redundancy and robustness in memory protection Butler Lampson Proc. IFIP Cong | January 1974
Publication 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
Publication A Remark on Berger’s Paper on the Domino Problem Yuri Gurevich, Igor O. Koriakov Siberian Mathematical Journal | February 1972, Vol 13: pp. 319-321
Publication Teaching of computer design to computer science undergraduates. Butler Lampson The Teaching of Computer Design | September 1971
Publication 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
Publication The Decision Problem for Decision Problems Yuri Gurevich Algebra and Logic | August 1969, Vol 8: pp. 362-363
Publication The Decision Problem for Logic of Predicates and Operations Yuri Gurevich April 1969, pp. Pages 284-308 of the Russian original Pages – 160-174 of the English translation
Publication Hereditary Undecidability of the Theory of Lattice-ordered Abelian Groups Yuri Gurevich Algebra and Logic (Russian) | May 1967, pp. 45-62