Publications index

Tim Paek, Eric Horvitz

January 2000

Leslie Lamport

Mitteilungen der Deutschen Mathematiker-Vereinigung | January 2000, pp. 49-51

Jin Li

MSRI Modern Signal Processing Series | January 2000

Martın Abadi, Cédric Fournet, Georges Gonthier

To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000

Yuri Gurevich, Alexander Rabinovich

Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958

Yuri Gurevich

Proceedings of CSL 2000, Springer Lecture Notes in Computer Science | January 2000

Kentaro Toyama, Eric Horvitz

Proceedings of ACCV '00, Fourth Asian Conference on Computer Vision, Tapei, Taiwan. | January 2000

Mike Craven, Steve Benford, Chris Greenhalgh, John Wyver, Claire-Janine Brazier , Amanda Oldroyd, Tim Regan

CVE '00 Proceedings of the third international conference on Collaborative virtual environments | January 2000

Kemal Sonmez, Larry Heck, Mitchel Weintraub

Digital Signal Processing | January 2000

Remco Teunen, Ben Shahshahani, Larry Heck

Proceedings of the International Conference on Spoken Language Processing (ICSLP) | January 2000