Programming languages & software engineering

Thore Graepel, Nicol N. Schraudolph

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

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

Yuri Gurevich, Alexander Rabinovich

Journal of Logic and Computation | January 2002, Vol 12: pp. 1-11

Mark Shields, Simon Peyton Jones

9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon | January 2002

Thomas Ball, Andreas Podelski, Sriram Rajamani

MSR-TR-2001-106 | December 2001

Ciprian Chelba, Peng Xu

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

David Bargeron, A.J. Brush, Anoop Gupta

MSR-TR-2001-108 | November 2001