公開日 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