Publication Planning-Based Control of Interface Animation David Kurlander, Daniel T. Ling, Dan Ling MSR-TR-95-21 | January 1995
Publication Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
Publication AlphaSort: A Cache-Sensitive Parallel External Sort Tom Barclay, Jim Gray, Chris Nyberg, David Lomet, Zarka Cvetanovic January 1995
Publication Processes are in the Eye of the Beholder Leslie Lamport Theoretical Computer Science SRC Research Report 132 | December 1994, Vol 179: pp. 333-351
Publication 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
Publication 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
Publication Multiscale Edge Integration by Weighted Accumulation Tolga Acar, Muhittin Gokmen International Symposium on Computer and Information Sciences | September 1994 Editor(s): Aggelos K. Katsaggelos ISCIS X
Publication 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
Publication Nonstandard Regularization for Selected Image Processing and Computer Vision Problems Tolga Acar September 1994 Master's Thesis: Istanbul Technical University | September 1994
