Publications index

Yuri Gurevich

SIGACT NEWS 17 | April 1986

Andreas Blass, Yuri Gurevich

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

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

Eric Horvitz

Proceedings of the 18th Symposium on the Interface of Statistics and Computer Science, Fort Collins, Colorado, March 1986 | March 1986

Simon Peyton Jones

Communications of the ACM | February 1986, Vol 29: pp. 118-122

Leslie Lamport

Journal of the Association for Computing Machinery | January 1986, Vol 33(2): pp. 313-348

Christopher Bishop

Nuclear Fusion | January 1986, Vol 26: pp. 1063

Christopher Bishop

| January 1986

Principles of Programming Languages (POPL '08)

Andrew Birrell, Butler Lampson, Roger M. Needham, Mike Schroeder

ACM SIGOPS European Workshop: Making Distributed Systems Work | January 1986