Publications index

G. Ramalingam, Thomas Reps

Proceeding AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology | May 1991

Michael Shwe, Blackford Middleton, David Heckerman, Max Henrion, Eric Horvitz, Harold Lehmann, Gregory Cooper

Methods of Information in Medicine | May 1991, Vol 30: pp. 241-255

Brian LaMacchia

Designs, Codes and Cryptography | May 1991, Vol 1(1): pp. 47-62

Daniel Weise, Scott Seligman, Wing-Yee Au

Partial Evaluation and Automatic Program Generation | Published by Institute of Electrical and Electronics Engineers, Inc. | 1991

Alex Acero, Richard Stern

Proc. of the International Conference on Acoustics, Speech and Signal Processing | May 1991

SL Peyton Jones, D Lester, Simon Peyton Jones

Software Practice and Experience | May 1991, Vol 21(5): pp. 479-506

John Tang

CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems | April 1991

Yuri Gurevich

ICALP'91, International Colloquium on Automata, Languages and Programming Madrid, Springer Lecture Notes in Computer Science 510 (1991) | April 1991

Simon Peyton Jones

| April 1991

Josh Benaloh, Michael de Mare

MSR-TR-1991-2 | April 1991

Published by Microsoft