Programming languages and software engineering

Uwe Glässer, Yuri Gurevich, Margus Veanes

HICSS 2002 | January 2002

Project

Li-Yi Wei

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)

Harry Chesley, Sean Kelly, Greg Kimberly, Tim Regan

MSR-TR-2002-03 | January 2002

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

Glenn Ammons, Rastislav Bodik, Jim Larus

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2002

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Youssef Hamadi

Int. J. on Artif. Intelligence Tools (IJAIT), 13th International Conference on Tools with Artificial Intelligence | January 2002

Thore Graepel, Nicol N. Schraudolph

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