Publication Transactions for Software Model Checking Shaz Qadeer Proceedings of the Workshop on Software Model Checking (published as volume 89 of Electronic Notes in Theoretical Computer Science) | September 2003
Publication Techniques for Scheduling with Rejection Daniel W. Engels, David R. Karger, Stavros G. Kolliopoulos, Sudipta Sengupta, R. N. Uma, Joel Wein Journal of Algorithms 49 (2003), Elsevier Science | August 2003 ISBN: 978-3-540-64848-2
Publication Online Multicast Routing with Bandwidth Guarantees: A New Approach using Multicast Network Flow M. Kodialam, T. V. Lakshman, Sudipta Sengupta IEEE/ACM Transactions on Networking | August 2003, pp. 676-686
Publication Plutarch: An Argument for Network Pluralism J. Crowcroft, S. Hand, R. Mortier, T. Roscoe, A. Warfield Proceedings of SIGCOMM Future Directions in Network Architecture Workshop (FDNA’03) | August 2003 Proceedings of SIGCOMM Future Directions in Network Architecture Workshop (FDNA'03)
Publication Contextual Simulations for Information Retrieval Evaluation Ryen W. White Information Retrieval in Context Workshop (IRiX 2005, part of SGIR 2005), Salvador, Brazil | August 2003
Publication BASE: Using Abstraction to Improve Fault Tolerance Miguel Castro, Rodrigo Rodrigues, Barbara Liskov ACM Transactions on Computer Systems (TOCS) | August 2003
Publication Verifying sequential consistency on shared-memory multiprocessors by model checking Shaz Qadeer IEEE Transactions on Parallel and Distributed Systems | August 2003
Publication Adaptive Duplicate Detection Using Learnable String Similarity Measures Misha Bilenko, Raymond J. Mooney Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining(KDD-2003) | August 2003
Publication Adding the EPSG:4326 Geographic Longitude-Latitude Projection to TerraServer Siddharth Jain, Tom Barclay MSR-TR-2003-56 | August 2003