Programming languages and software engineering

Greg Lawler, Oded Schramm, Wendelin Werner

Electron. J. Probab. | January 2002, Vol 7: pp. no. 2, 13 pp. (electronic)

Thomas Ball, Sriram Rajamani

MSR-TR-2002-09 | January 2002

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

Project

Uwe Glässer, Margus Veanes

Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002

Project

Martin Szummer, Tommi Jaakkola

Advances in Neural Information Processing Systems (NIPS) | January 2002

Greg Lawler, Oded Schramm, Wendelin Werner

In and out of equilibrium (Mambucaba, 2000) | Published by Birkhäuser Boston | 2002, Vol 51 | In and out of equilibrium (Mambucaba, 2000) edition

Ciprian Chelba, Peng Xu

Proc. of the IEEE Workshop on Automatic Speech Recognition and Understanding | December 2001

Thomas Ball, Andreas Podelski, Sriram Rajamani

MSR-TR-2001-106 | December 2001

David Bargeron, A.J. Brush, Anoop Gupta

MSR-TR-2001-108 | November 2001