출판 Program Verification as Probabilistic Inference Sumit Gulwani, Nebojsa Jojic POPL’07 January 17-19, 2007, Nice, France. | January 2007
출판 Percolation on Dense Graph Sequences Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan Ann. Probab | January 2007, 제 38 권: pp. 150-183
출판 Assertion Checking Unified Sumit Gulwani, Ashish Tiwari 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007 프로젝트
출판 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
출판 Extending Query Translation to Cross-language Query Expansion with Markov Chain Models Guihong Cao, Jianfeng Gao, Jian-Yun Nie, Jing Bai CIKM | January 2007
출판 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)
출판 A geometric approach to information theoretic private information retrieval David Woodruff, Sergey Yekhanin SIAM Journal on Computing | January 2007, 제 47 권(4): pp. 1046-1056
출판 Provably Efficient Online Non-clairvoyant Adaptive Scheduling Yuxiong He, Charles E. Leiserson, Wen-Jing Hsu IPDPS | January 2007
출판 Online Learning of Multiple Tasks with a Shared Loss Ofer Dekel, Philip Long, Yoram Singer Journal of Machine Learning Research | January 2007, 제 8 권: pp. 2233-2264
출판 Gaussian Processes in Practice Neil D. Lawrence, Anton Schwaighofer, Joaquin Quiñonero Candela January 2007 (Editors)