Publication An Automatic Verifier for Java-Like Programs Based on Dynamic Frames Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte FASE | January 2008 ISBN: 978-3-540-78742-6
Publication The Role of Abduction in Declarative Authorization Policies Mo Becker 10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008 10th International Symposium on Practical Aspects of Declarative Languages (PADL)
Publication On the Approximability of Combinatorial Exchange Problems Moshe Babaioff, Patrick Briest, Piotr Krysta International Symposium on Algorithmic Game Theory (SAGT’08) | January 2008
Publication Model-Based Software Testing and Analysis with C# Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published by Cambridge University Press | January 2008 ISBN: 9780521687614
Publication Serving Comparative Shopping Links Non-invasively Renan Cattelan, Darko Kirovski, Deepak Vijaywargi MSR-TR-2008-14 | January 2008
Publication SpotWeb: detecting framework hotspots via mining open source repositories on the web Suresh Thummalapenta, Tao Xie MSR ’08: Proceedings of the 2008 international working conference on Mining software repositories | January 2008 ISBN: 978-1-60558-024-1
Publication Automated design of scoring rules by learning from examples Ariel D. Procaccia, Aviv Zohar, Jeffrey S. Rosenschein AAMAS ’08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | January 2008 AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems ISBN: 978-0-9817381-1-6
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 A DRM System Protecting Consumer Privacy Min Feng, Bin Benjamin Zhu IEEE Consumer Communications and Networking Conference | January 2008
Publication Constraint-Based Approach for Analysis of Hybrid Systems Sumit Gulwani, Ashish Tiwari Computer Aided Verification (CAV) | January 2008 Project