Programming languages and software engineering

Olatunji Ruwase, Monica S. Lam

Network and Distributed Systems Security (NDSS) | 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

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

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

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

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

Youssef Hamadi

In 14th Int. Conf. on Automated Planning&Scheduling, W. Connecting Planning Theory with Practice | January 2004

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux, Jean-François Paiement, Pascal Vincent, Marie Ouimet

Neural Computation | January 2004, Vol 16: pp. 2197-2219

Theresa Wilson, Janyce Wiebe, Rebecca Hwa

Proceedings of AAAI-04, 21st Conference of the American Association for Artificial Intelligence | January 2004

Proceedings of AAAI-04, 21st Conference of the American Association for Artificial Intelligence