출판 CMC: A pragmatic approach to model checking real code Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002 OSDI 02: Fifth Symposium on Operating Systems Design and Implementation 프로젝트
출판 Diameters of Homogeneous Spaces Michael Freedman, Alexei Kitaev, Jacob Lurie MSR-TR-2002-119 | December 2002
출판 Multimedia Content Screening Using a Dual Watermarking and Fingerprinting System Darko Kirovski, Henrique S. Malvar, Yacov Yacobi ACM Multimedia | December 2002 ACM Multimedia Best Paper Award, ACM Multimedia Conference, 2002.
출판 Towards an optimized 3D broadcast chain Marc J. R. Op de Beeck, Piotr Wilinski , Christoph Fehn, Peter Kauff , Wijnand A. Ijsselsteijn , Marc Pollefeys, Luc J. Van Gool, Eyal Ofek, Ian Sexton Proc. SPIE 4864, Three-Dimensional TV, Video, and Display | November 2002
출판 Efficient Algorithms for Universal Portfolios Adam Tauman Kalai, Santosh Vempala Journal of Machine Learning Research | November 2002, pp. 423-440
출판 Expectation Propagation for Signal Detection in Flat-fading Channels Yuan Qi, Tom Minka November 2002
출판 Practical Byzantine Fault Tolerance and Proactive Recovery Miguel Castro, Barbara Liskov ACM Transactions on Computer Systems (TOCS) | November 2002
출판 Bayesian Spectrum Estimation of Unevenly Sampled Nonstationary Data Yuan Qi, Tom Minka, Rosalind W. Picard October 2002