Publication Modeling path capacity in multi-hop IEEE 802.11 networks for QoS services Kun Wang, Fan Yang, Qian Zhang, Yinlong Xu IEEE Transactions on Wireless Communications | February 2007, Vol 6(2): pp. 738-749
Publication Program Verification as Probabilistic Inference Sumit Gulwani, Nebojsa Jojic POPL’07 January 17-19, 2007, Nice, France. | January 2007
Publication Percolation on Dense Graph Sequences Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan Ann. Probab | January 2007, Vol 38: pp. 150-183
Publication Assertion Checking Unified Sumit Gulwani, Ashish Tiwari 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007 Project
Publication Experimental Study on Speed-Up Techniques for Timetable Information Systems Reinhard Bauer, Daniel Delling, Dorothea Wagner Proceedings of the 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS’07) | January 2007
Publication Extending Query Translation to Cross-language Query Expansion with Markov Chain Models Guihong Cao, Jianfeng Gao, Jian-Yun Nie, Jing Bai CIKM | January 2007
Publication A First Step Towards a Unified Proof Checker for QBF Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kroening, Christoph M. Wintersteiger Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007) | January 2007 Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2007)
Publication A geometric approach to information theoretic private information retrieval David Woodruff, Sergey Yekhanin SIAM Journal on Computing | January 2007, Vol 47(4): pp. 1046-1056
Publication Provably Efficient Online Non-clairvoyant Adaptive Scheduling Yuxiong He, Charles E. Leiserson, Wen-Jing Hsu IPDPS | January 2007
Publication Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)