Publication Polynomial time algorithms for network code construction Sidharth Jaggi, Peter Sanders, Philip A. Chou, Michelle Effros, Sebastian Egner, Kamal Jain, Ludo M. G. M. Tolhuizen IEEE Trans. Information Theory | June 2005
Publication How Fast Can Eventual Synchrony Lead to Consensus? Partha Dutta, Rachid Guerraoui, Leslie Lamport Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005
Publication An Effective Variable Block-Size Early Termination Algorithm for H.264 Video Coding Libo Yang, Keman Yu, Jiang Li, Shipeng Li June 2005
Publication A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani, George C. Necula Information and Computation – Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, Vol 199(1): pp. 107-131 Project
Publication AMTP: a multipath multimedia streaming protocol for mobile ad hoc networks K. Rojviboonchai, Fan Yang, Q. Zhang, H. Aida, W. Zhu May 2005
Publication An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals Shuvendu Lahiri, Madan Musuvathi MSR-TR-2005-61 | May 2005
Publication Fast Scalable Robust Node Enumeration Richard Black, Austin Donnelly, Alexandru Gavrilescu, Dave Thaler Proceedings of 4th International IFIP-TC6 Networking Conference (NETWORKING 2005) | May 2005 To appear
Publication Redundant Bit Vectors for Quickly Searching High-Dimensional Regions Jonathan Goldstein, John Platt, Chris J.C. Burges May 2005
Publication An Efficient Decision Procedure for UTVPI Constraints Shuvendu Lahiri, Madan Musuvathi MSR-TR-2005-67 | May 2005 Frontiers of Combining Systems (FroCos '05)
Publication A uniform approach to accelerated PageRank computation Frank McSherry Proceedings of the 14th international conference on World Wide Web, (WWW 2005) | May 2005
