Programming languages & software engineering

R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv

Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005

Jinwen Ma, Bin Gao, Yang Wang, Qiansheng Cheng

International Journal of Pattern Recognition and Artificial Intelligence | January 2005

Matthew J. Parkinson, Gavin Bierman

POPL ’05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2005

Yuri Gurevich, Nikolai Tillmann

Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342

Project Project

Nikolai Tillmann, Wolfram Schulte

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005

ISBN: 1-59593-014-0

Project Project

Theresa Wilson, Janyce Wiebe, Paul Hoffmann

Proceedings of Human Language Technologies Conference/Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP 2005) | January 2005

Geoffrey Zweig

Proceedings of ICASSP | January 2005

Jun Yan, Ning Liu, Benyu Zhang, Shuicheng Yan, Zheng Chen, Qiansheng Cheng, Weiguo Fan, Wei-Ying Ma

28th annual international ACM SIGIR conference on Research and development in information retrieval | January 2005

28th annual international ACM SIGIR conference on Research and development in information retrieval

Tom Minka

MSR-TR-2005-173 | January 2005

Jamie Shotton, Andrew Blake, Roberto Cipolla

International Conference on Computer Vision | January 2005