Programming languages and software engineering

Chris Brockett, Bill Dolan

Third International Workshop on Paraphrasing (IWP2005) | January 2005

Yuri Gurevich, Nikolai Tillmann

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

Project Project

Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li

IEEE Int. Conf. Image Processing 2005 | January 2005

IEEE Int. Conf. Image Processing 2005

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Project

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Theoretical Computer Science | January 2005, Vol 343(3): pp. 370-412

Project

Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte

SEFM | January 2005

ISBN: 0-7695-2435-4

Project

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)

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Project

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

Juan Chen

ACM Workshop on Types in Language Design and Implementation (TLDI 05) | January 2005