Publication Abstract interpretation and Object-oriented languages: quo vadis? Francesco Logozzo, Agostino Cortesi Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool’05), | January 2005 Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),
Publication Testing Concurrent Object-Oriented Systems with Spec Explorer Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes January 2005 ISBN: 3-540-27882-6 Project Project Project
Publication The Essence of Data Access in Comega Gavin Bierman, Erik Meijer, Wolfram Schulte ECOOP | January 2005 ISBN: 3-540-27992-X
Publication Fast and Compact: A Simple Class of Congestion Games Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2005 Proceedings of National Conference on Artificial Intelligence (AAAI)
Publication Construction and Use of Linear Regression Models for Processor Performance Analysis P J Joseph, Kapil Vaswani, Matthew J Thazuthaveetil Proceedings of the International Conference on High Performance Computer Architecture (HPCA) | January 2005
Publication A Framework for Characterizing Feature Weighting and Selection Methods in Text Classification Janez Brank, Natasa Milic-Frayling MSR-TR-2005-09 | January 2005
Publication Fast Algorithm for the Modulated Complex Lapped Transform Henrique S. Malvar MSR-TR-2005-02 | January 2005
Publication The Effect of Network Topology on the Spread of Epidemics Ayalvadi Ganesh, Laurent Massoulié, Don Towsley Proc. IEEE Infocom | January 2005
Publication Practical type inference for arbitrary-rank types Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields Journal of Functional Programming | January 2005, Vol 17: pp. 1-82 Submitted to the Journal of Functional Programming
Publication Annotating Expressions of Opinions and Emotions in Language Janyce Wiebe, Theresa Wilson, Claire Cardie Language Resources and Evaluation | January 2005, Vol 1: pp. 0–0