Programming languages and software engineering

Maria A. Nieto-Santisteban, William O'Mullane, Nolan Li, Tamas Budavari, Alexander S. Szalay, Aniruddha R. Thakar, Jim Gray

MSR-TR-2004-12 | February 2004

Feng Wu, Honghui Sun, Guobin Shen, Shipeng Li, Ya-Qin Zhang, Bruce Lin, Ming-Chieh Li

EURASIP on Applied Signal Processing | February 2004, Vol 2: pp. 192-206

Shi-Ding Lin, Qiao Lian, Ming Chen, Zheng Zhang

MSR-TR-2004-13 | February 2004

Olatunji Ruwase, Monica S. Lam

Network and Distributed Systems Security (NDSS) | February 2004

James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt

First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004

Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani

MSR-TR-2004-08 | January 2004

Project

Shaz Qadeer, Sriram Rajamani, Jakob Rehof

Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004

Yuri Gurevich

Proc. ASM’2004, Springer Lecture Notes in Computer Science | January 2004

Matthew Hastings

Physical Review B | January 2004

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

FATES 2003 | January 2004

Project Project Project