출판 Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
출판 Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995
출판 Time and space profiling for non-strict higher-order functional languages Patrick M. Sansom, Simon Peyton Jones 22nd ACM Symposium on Principles of Programming Languages (POPL’95) | January 1995
출판 The Bakery Algorithm: Yet Another Specification and Verification Egon Börger, Yuri Gurevich, Dean Rosenzweig 1995 Oxford University Press book, Specification and Validation Methods | January 1995
출판 Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
출판 On Subtyping and Matching Martin Abadi, Luca Cardelli European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995
출판 Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | 글쓴이 Oxford University Press | 1995
출판 The hBPi/-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation Georgio Evangelidis, David Lomet, Betty Salzberg January 1995
출판 Critical Morphological Sampling and Its Applications to Image Coding Dinei Florencio, Ronald W. Schafer Mathematical Morphology and Its Applications to Image Processing, Critical Morphological Sampling and Its Applications to Image Coding | 글쓴이 Springer Netherlands | 1994, Vol 2 ISBN: 978-94-010-4453-0