Publication Getting Operations Logic Right: Types, Service-Orientation, and Static Analysis Karthik Bhargavan, Andy Gordon Workshop on The Rise and Rise of the Declarative Datacentre | May 2008
Publication Minimum Word Classification Error Training of HMMs for Automatic Speech Recognition Zhijie Yan, Bo Zhu, Yu Hu, Ren-Hua Wang IEEE International Conference on Acoustics, Speech and Signal Processing, 2008, ICASSP 2008 | May 2008
Publication Reusing models in multi-agent simulation with software components Paulo Salem, Ana C. V. de Melo AAMAS ’08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | May 2008
Publication Measuring developer contribution from software repository data Georgios Gousios, Eirini Kalliamvakou, Diomidis Spinellis, Pouloudi Nancy 2008 Mining Software Repositories | May 2008
Publication Supporting UML-based development of embedded systems by formal techniques Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein Software and Systems Modeling | May 2008, Vol 7(2): pp. 131-155
Publication Concurrency at Microsoft – An Exploratory Survey Patrice Godefroid, Nachi Nagappan MSR-TR-2008-75 | May 2008 Project
Publication Expanding the Scope of Signal Processing Li Deng IEEE Signal Processing Magazine | May 2008, Vol 25: pp. 2-4
Publication Mining Software Effort Data: Preliminary Analysis of Visual Studio Team System Data Lucas Layman, Nachi Nagappan, Sam Guckenheimer, Jeff Beehler, Andrew Begel Proceedings of the 2008 International Working Conference on Mining Software Repositories | May 2008 Proceedings of the 2008 International Working Conference on Mining Software Repositories ISBN: 978-1-60558-024-1 Project
Publication Predicting Defects using Network Analysis on Dependency Graphs Tom Zimmermann, Nachi Nagappan Proceedings of the 30th International Conference on Software Engineering (ICSE) | May 2008 Proceedings of the 30th International Conference on Software Engineering (ICSE) Project Project
Publication ManySat: solver description Youssef Hamadi, Said Jabbour, Lakhdar Sais MSR-TR-2008-83 | May 2008