Publication Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
Publication 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
Publication 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
Publication The hBPi/-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation Georgio Evangelidis, David Lomet, Betty Salzberg January 1995
Publication On Subtyping and Matching Martin Abadi, Luca Cardelli European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995
Publication Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition
Publication Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
Publication 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 | Published by Springer Netherlands | 1994, Vol 2 ISBN: 978-94-010-4453-0
Publication A Tutorial on Co-induction and Functional Programming Andy Gordon Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland | September 1994 ISBN: 978-3-540-19914-4 (Print) 978-1-4471-3573-9 (Online)
