출판 Bounding the Power Rate Function of Wireless Ad hoc Networks Yunnan Wu, Qian Zhang, Wenwu Zhu, S. Y. Kung MSR-TR-2004-77 | August 2004
출판 Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values Jesse Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang Proceedings of 16th International Conference on Computer-Aided Verification | July 2004
출판 What Cannot Be Computed Locally! Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer PODC 2004: 23rd ACM Symposium on the Principles of Distributed Computing, St. John’s, Newfoundland, Canada | July 2004 Best Student Paper Award
출판 Securing Routing in Open Networks Using Secure Traceroute Gaurav Mathur, Venkat Padmanabhan, Daniel R. Simon MSR-TR-2004-66 | July 2004
출판 Learning To Cluster Search Results Hua-Jun Zeng, Qi-Cai He, Zheng Chen, Wei-Ying Ma, Jinwen Ma July 2004
출판 Stuck-Free Conformance Theory for CCS Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof MSR-TR-2004-69 | July 2004 Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
출판 Abstract Communication Model for Distributed Systems Uwe Glässer, Yuri Gurevich, Margus Veanes IEEE Transactions on Software Engineering | July 2004, 제 30 권(7): pp. 458-472 프로젝트 프로젝트
출판 Exceptions and side-effects in atomic blocks Tim Harris Workshop on COncurrency and Synchronization in Java Programs | July 2004 Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01