Publication A Review of Overview+Detail, Zooming, and Focus+Context Interfaces Andy Cockburn, Amy Karlson, Benjamin B. Bederson ACM Computing Surveys, ACM Surveys | January 2008 ACM Surveys
Publication DieCast: Testing Systems with an Accurate Scale Model Diwaker Gupta, Kashi Vishwanath, Amin Vahdat Networked Systems Design and Implementation (NSDI) | January 2008
Publication The Forgetron: A Kernel-Based Perceptron on a Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer SIAM Journal on Computing | January 2008, Vol 37(5): pp. 1342-1372
Publication Compositional Modeling for Data-Centric Business Applications Ethan Jackson, Wolfram Schulte Software Composition | January 2008 ISBN: 978-3-540-78788-4 Project
Publication Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949 ISBN: 978-3-540-78916-1 The attached file is a preliminary version. Project Project Project
Publication The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte Published by Microsoft Research, January 2008 Project
Publication Verification Condition Splitting Rustan Leino, Wolfram Schulte Published by Microsoft Research, January 2008 Project
Publication Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 Project
Publication HMM adaptation using a phase-sensitive acoustic distortion model for environment-robust speech recognition Jinyu Li, Li Deng, Dong Yu, Alex Acero Proc. ICASSP | January 2008 Proc. ICASSP
Publication Digitaltechnik – eine praxisnahe Einführung Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger Published by Springer Verlag Berlin Heidelberg | January 2008
Research
Research