Algorithms

Jialin Zhang, Wei Chen

Information Processing Letters, Elsevier, (109), 2009, pp. 1005 -1009. | June 2009

Wei Chen, Shang-Hua Teng, Yajun Wang, Yuan Zhou

In Proceedings of the 3rd International Frontiers of Algorithmics Workshop (FAW’2009), Hefei, China, June 2009. | June 2009

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

CAV ’09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009

Project

Sumit Gulwani

Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 – July 2, 2009 | June 2009

Project

Prateek Jain, Ashish Kapoor

IEEE Conference on Computer Vision and Pattern Recognition, 2009. CVPR 2009 | June 2009

Yury Makarychev

MSR-TR-2009-74 | June 2009

Varun Kanade, Adam Tauman Kalai, Yishay Mansour

Proceedings of the 22nd Annual Conference on Learning Theory (COLT), 2009 | June 2009

Adam Tauman Kalai, Ravi Sastry

Proceedings of the 22nd Annual Conference on Learning Theory (COLT), 2009 | June 2009

Saurabh Srivastava, Sumit Gulwani

PLDI’09, June 15-20, 2009, Dublin, Ireland | June 2009

Project

Wei Chen, Yajun Wang, Siyu Yang

Proceedings of the 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD’2009) | June 2009