출판 TerraService.NET: An Introduction to Web Services Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter MSR-TR-2002-53 | June 2002
출판 Polymorphic Predicate Abstraction Thomas Ball, Todd Millstein, Sriram Rajamani MSR-TR-2001-10 | June 2002
출판 Feature Selection Using Linear Support Vector Machines Janez Brank, Marko Grobelnik, Natasa Milic-Frayling, Dunja Mladenic MSR-TR-2002-63 | June 2002
출판 Hierarchical Wavelet Networks for Facial Feature Localization Jim Gemmell, Kentaro Toyama May 2002
출판 Region Analysis and a Ï”-Calculus with Groups Silvano Dal Zilio, Andy Gordon Journal of Functional Programming | May 2002, pp. 229-292
출판 Adoption and Focus: Practical Linear Types for Imperative Programming Manuel Fahndrich, Robert DeLIne Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | May 2002
출판 An Abstract Communication Model Uwe Glässer, Yuri Gurevich, Margus Veanes MSR-TR-2002-55 | May 2002 프로젝트
출판 Abstract State Machines and Computationally Complete Query Languages Andreas Blass, Yuri Gurevich, Jan Van den Bussche MSR-TR-99-95 | April 2002
출판 Finite-Control Mobile Ambients Witold Charatonik, Andy Gordon, Jean-Marc Talbot European Symposium on Programming (ESOP’02), volume 2305 of Lecture Notes in Computer Science | April 2002 ISBN: 9783540433637
출판 Contracts, Components, and their Runtime Verification on the .NET Platform Mike Barnett, Wolfram Schulte MSR-TR-2002-38 | April 2002