Publications index

Brian Guenter, Hee Cheol Yun, Russell M. Mersereau

SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques | September 1993

Alex Acero

Proc. of Eurospeech | September 1993

Butler Lampson, David Lomet

19th International Conference on Very Large Data Bases (VLDB '93) | August 1993

ISBN 1-55860-152-X

Jin Li, X. Lin

Electronics Letters | August 1993

John Snyder, Adam R. Woodbury, Kurt Fleischer, Bena Currin, Alan H. Barr

ACM SIGGRAPH | August 1993

Stephen D. Richardson, Lucy Vanderwende, William Dolan

MSR-TR-93-07 | July 1993

Project

Leslie Lamport, Martin Abadi

ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993

Leslie Lamport

Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV'93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993

Roy L. Crole, Andy Gordon

Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993 | July 1993

ISBN: 978-3-540-19879-6 (Print) 978-1-4471-3236-3 (Online)

Andreas Blass, Yuri Gurevich

SIAM J. on Computing | July 1993, Vol 22(5): pp. 949-975