Publications index

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | February 1995

Lisa Burnell, Eric Horvitz

MSR-TR-95-12 | February 1995

John Field, G. Ramalingam, Frank Tip

Proceeding POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995

Leslie Lamport

January 1995

Leslie Lamport

January 1995

Patrick M. Sansom, Simon Peyton Jones

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

Max Chickering, Dan Geiger, David Heckerman

Proceedings of the Fifth International Workshop on Artificial Intelligence and Statistics | January 1995

Egon Börger, Yuri Gurevich, Dean Rosenzweig

1995 Oxford University Press book, Specification and Validation Methods | January 1995

S. Marshall, Dinei Florencio, J. Brunt, G. Matsopoulos

IEEE Int. Symposium on Nonlinear Signal Processing | January 1995

Richard Harper, Abigail Sellen

EPC-1995-109 | January 1995

Published by RXRC Cambridge Technical Report