公開日 Processes are in the Eye of the Beholder Leslie Lamport Theoretical Computer Science SRC Research Report 132 | December 1994, 巻179: pp. 333-351
公開日 Efficient Average-Case Algorithms for the Modular Group Jin-Yi Cai, Wolfgang Fuchs, Dexter Kozen, Zicheng Liu Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on | November 1994
公開日 Automatically Identifying Morphological Relations in Machine-Readable Dictionaries Joseph Pentheroudakis, Lucy Vanderwende Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993 | November 1994 Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993
公開日 Multiscale Edge Integration by Weighted Accumulation Tolga Acar, Muhittin Gokmen International Symposium on Computer and Information Sciences | September 1994 編集者: Aggelos K. Katsaggelos ISCIS X
公開日 How to Write a Long Formula Leslie Lamport FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994
公開日 Nonstandard Regularization for Selected Image Processing and Computer Vision Problems Tolga Acar September 1994 修士論文:Istanbul Technical University | September 1994
公開日 Open Systems in TLA Martin Abadi, Leslie Lamport Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994
公開日 Decomposing Specifications of Concurrent Systems Leslie Lamport, Martin Abadi Programming Concepts, Methods and Calculi, Ernst-Rüdiger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet ’94, San Miniato, Italy.) North-Holland | August 1994