Publications index

Leslie Lamport

Z User's Workshop, Cambridge. J.P. Bowen and J.A. Hall (Eds.) | May 1994

Leslie Lamport

79 | May 1994

Published by Microsoft

ACM Transactions on Programming Languages and Systems 16

Rachid Deriche, Zhengyou Zhang, Q-T Luong, Olivier Faugeras

European Conference on Computer Vision | May 1994

Yuval Peres

Mathematical Proceedings of the Cambridge Philosophical Society | May 1994, Vol 115: pp. 437-450

Steven Drucker, David Zeltzer

May 1994

Andrew Birrell

ACM Transactions on Computer Systems | May 1994, pp. 123-164

A preliminary version appeared as SRC Research Report 103

Josh Benaloh

Selected Areas of Cryptography | May 1994

Jonathan Grudin

IEEE Computer | May 1994, Vol 27(5): pp. 19-26

Bill Dolan

MSR-TR-96-10 | May 1994

Rich Draves

MSR-TR-94-06 | May 1994