Publication SWISH: Semantic Analysis of Window Titles and Switching History Greg Smith, Nuria Oliver, Arun C. Surendran, chintan thakkar MSR-TR-2006-32 | March 2006
Publication Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte MSR-TR-2005-146 | March 2006 Project Project
Publication Adaptive Run-Length / Golomb-Rice Encoding of Quantized Generalized Gaussian Sources with Unknown Statistics Henrique S. Malvar Data Compression Conference | March 2006
Publication Combining Abstract Interpreters Sumit Gulwani, Ashish Tiwari MSR-TR-2006-25 | March 2006 Project
Publication Mesh analysis using geodesic mean-shift Ariel Shamir, Lior Shapira, Daniel Cohen-Or Visual Computer | February 2006, Vol 22: pp. 99-108
Publication Action Machines: a Framework for Encoding and Composing Partial Behaviors Wolfgang Grieskamp, Nikolai Tillmann, Nicolas Kicillof MSR-TR-2006-11 | February 2006
Publication A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions Wolfgang Grieskamp, Nicolas Kicillof MSR-TR-2006-13 | February 2006
Publication Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella-Béguelin 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 | January 2006 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005
Publication An Efficient Key Scheme for Multiple Access of JPEG 2000 and Motion JPEG 2000 Enabling Truncations Yang Yang, Bin Benjamin Zhu, Shipeng Li IEEE Consumer Communications and Networking Conference | January 2006