Programming languages & software engineering

A. J. Ganesh, A.-M. Kermarrec, L. Massoulié

Proc. Tenth ACM SIGOPS European Workshop | January 2002

Proc. Tenth ACM SIGOPS European Workshop

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

Project

Li-Yi Wei

January 2002

Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan

MSR-TR-2002-03 | January 2002

Uwe Glässer, Margus Veanes

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

Project

Erik Ruf

Static Analysis Symposium (SAS ’02) | January 2002

Static Analysis Symposium (SAS '02)

Simon Peyton Jones, Mark Shields

January 2002

Microsoft Research

Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran

Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002

Greg Lawler, Oded Schramm, Wendelin Werner

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

Thore Graepel, Nicol N. Schraudolph

Proceedings of the International Conference on Neural Networks, ICANN 2002 | January 2002