Publication On the Verification of Memory Models of Shared-Memory Multiprocessors Shaz Qadeer January 2000 Workshop on Shared-Memory Protocol Verification (MPV 2000).
Publication Gibbs States of Graphical Representations of the Potts Model with External Fields M. Biskup, Christian Borgs, Jennifer Chayes, R. Kotecky Journal of Mathematical Physics | January 2000
Publication Human Interface Systems Using Intentional and Unintentional Behaviors Tomoyuki Ishiyama, Yoshiaki Shirai, Yoshihisa Adachi, Yoshinori Kuno January 2000
Publication Head Tracking Using a Textured Polygonal Model Antonio Haro, Arno Schodl, Irfan A. Essa January 2000
Publication On the Scale and Performance of Cooperative Web Proxy Caching Alec Wolman, Geoffrey M. Voelker, Nitin Sharma, Neal Cardwell, Anna Karlin, Henry M. Levy SOSP ’99 Proceedings of the seventeenth ACM symposium on Operating systems principles | December 1999
Publication Evaluation of Error Probabilities for General Signal Constellations Jack W. Stokes IEEE Global Telecommunications Conference (GLOBECOM) | December 1999
Publication The VideoMouse: A Camera-Based Multi-Degree-of-Freedom Input Device Ken Hinckley, Mike Sinclair, Erik Hanson, Richard Szeliski, Matt Conway UIST ’99 Proceedings of the 12th annual ACM symposium on User interface software and technology | November 1999 ISBN: 1-58113-075-9
