Publications index

Andrew Birrell

January 1995

Slides for a talk

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition

Richard Harper, Abigail Sellen

EPC-1995-109 | January 1995

Published by RXRC Cambridge Technical Report

C. Heath, P. Luff, Abigail Sellen

S. Emmott (Ed.) Information superhighways: Multimedia users and futures, London: Academic Press | 1995 | S. Emmott (Ed.) Information superhighways: Multimedia users and futures, London: Academic Press edition

Project

Xuedong Huang, Alex Acero, Fil Alleva, Mei-Yuh Hwang, Li Jiang, Milind Mahajan

Proc. of the Int. Conf. on Acoustics, Speech, and Signal Processing | January 1995

PM Sansom, SL Peyton Jones, Simon Peyton Jones

22nd ACM Symposium on Principles of Programming Languages (POPL'95) | January 1995

22nd ACM Symposium on Principles of Programming Languages (POPL'95)

Christopher Bishop, C. Legleye

Advances in Neural Information Processing Systems | January 1995

Advances in Neural Information Processing Systems

Jim Gray

January 1995

Martin Abadi, Luca Cardelli

European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995

Stephen Robertson, S. Walker, S. Jones, M. M. Hancock-Beaulieu, M. Gatford

Overview of the Third Text REtrieval Conference (TREC-3) | January 1995

Overview of the Third Text REtrieval Conference (TREC–3)