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 Projet
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
Publication Automatic Property Checking for Software: Past, Present and Future Sriram Rajamani Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006 Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
Publication Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS | January 2006 ISBN: 3-540-47460-9 Projet Projet Projet