Programming languages and software engineering

Kapil Vaswani, Matthew J Thazuthaveetil, Y N Srikant

Proceedings of the International Symposium on Code Generation and Optimization (CGO) | January 2005

Matthew J. Parkinson, Gavin Bierman

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

Jamie Shotton, Andrew Blake, Roberto Cipolla

International Conference on Computer Vision | January 2005

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

IEEE Int. Conf. Image Processing 2005 | January 2005

IEEE Int. Conf. Image Processing 2005

Yuri Gurevich, Nikolai Tillmann

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

Project Project

Chris Brockett, Bill Dolan

Third International Workshop on Paraphrasing (IWP2005) | January 2005

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

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

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)