Publication A unified approach to domination problems on interval graphs G. Ramalingam, C. Pandu Rangan Journal Information Processing Letters | April 1988
Publication The Cedar File System Roger M. Needham, David K. Gifford, Mike Schroeder Communications of the ACM | March 1988
Publication Functional programming on the GRIP multiprocessor SL Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie, Simon Peyton Jones IEE Seminar on Digital Parallel Processors, Lisbon, Portugal | January 1988
Publication Structural Subtyping and the Notion of Power Type Luca Cardelli Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages | January 1988
Publication GRIP – a high-performance architecture for parallel graph reduction SL Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie, Simon Peyton Jones Proc IFIP conference on Functional Programming Languages and Computer Architecture, Portland | September 1987
Publication Existential Fixed-point Logic Andrea Blass, Yuri Gurevich Springer Lecture Notes in Computer Science 270 | August 1987
Publication Expected Computation Time for Hamiltonian Path Problem Yuri Gurevich, Saharon Shelah Journal on Computing | July 1987, Vol 16(3): pp. 486-502
