Programming languages & software engineering

L. Massoulié, M. Vojnović

MSR-TR-2004-112 | February 2005

ACM Sigmetrics 05

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | January 2005, Vol 196(2): pp. 127-155

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004) | January 2005

Sumit Gulwani, George C. Necula

Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005

Project

Moshe Babaioff, William E. Walsh

Decision Support Systems (DSS) | January 2005, Vol 39: pp. 123-149

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

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

Project

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

ESEC/SIGSOFT FSE | January 2005

ESEC/SIGSOFT FSE

ISBN: 1-59593-014-0

Project Project

Nicolas Bruno, Surajit Chaudhuri

Proceedings of the ACM International Conference on Management of Data (SIGMOD) | January 2005

Project

Shaz Qadeer, Sriram Rajamani

MSR-TR-2005-08 | January 2005

Alistair Kennedy, Diana Inkpen

Proceedings of FINEXIN-05, Workshop on the Analysis of Informal and Formal Information Exchange during Negotiations | January 2005