Publications index

David Heckerman

UAI-P-1986-PG-123-128 | October 1986

SPIE Astronomy Telescopes and Instruments

David Heckerman, Randolph A. Miller

Proceedings of Medinfo, Washington | October 1986

Josh Benaloh, Moti Yung

Principles of Distributed Computing | August 1986

Butler Lampson

4th ACM Symposium on Principles of Distributed Computing | August 1986

Josh Benaloh

Crypto '86 | August 1986

L. Denenberg, Yuri Gurevich, S. Shelah

Information and Control | April 1986, Vol 70: pp. 216-240

Andreas Blass, Yuri Gurevich

Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, Vol 32: pp. 1-16

Yuri Gurevich

SIGACT NEWS 17 | April 1986

Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder

IEEE Symposium on Security and Privacy | April 1986

Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy

Katsushi Ikeuchi, H K Nishihara, Berthold K. P. Horn, P Sobalvarro, S Nagata

The International Journal of Robotics Research | March 1986, Vol 5(1): pp. 46-65