Publication Efficient Recovery From Organizational Disconnects in SkipNet Nicholas J. A. Harvey, Mike Jones, Marvin Theimer, Alec Wolman In Proceedings of Second International Workshop on Peer-to-Peer Systems (IPTPS ’03) | February 2003
Publication A Comparison of Service-oriented, Resource-oriented, and Object-oriented Architecture Styles Jorgen Thelin February 2003 February 2003
Publication Convex Quadrilaterals and k-Sets Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl MSR-TR-2003-06 | February 2003
Publication Types for atomicity Cormac Flanagan, Shaz Qadeer TLDI ’03 Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation | January 2003
Publication Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 Published by Microsoft A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003. Access
Publication Discovering Affine Equalities using Random Interpretation Sumit Gulwani, George C. Necula POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003 Project
Publication Wearing the hair shirt: a retrospective on Haskell (2003) Simon Peyton Jones January 2003 | invited talk at POPL 2003 edition edition invited talk at POPL 2003
Publication Model-Based Testing with AsmL .NET Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes 1st European Conference on Model-Driven Software Engineering | January 2003 Project Project Project
Publication On Evaluation and Training-Set Construction for Duplicate Detection Misha Bilenko, Raymond J. Mooney Proceedings of the KDD-2003 Workshop on Data Cleaning, Record Linkage, and Object Consolidation | January 2003 Proceedings of the KDD-2003 Workshop on Data Cleaning, Record Linkage, and Object Consolidation
Publication The Geometry of Kernel Canonical Correlation Analysis Malte Kuss, Thore Graepel 108 | January 2003