Algorithms

Sumit Gulwani

Oregon Summer School | July 2009

Video Video Video Project

Moshe Babaioff, Yogeshwer Sharma, Aleksandrs Slivkins

ACM Conference on Electronic Commerce (EC’09) | July 2009

Full version can be found on arxiv.org (http://arxiv.org/abs/0812.2291).

Project Project Project

Christian Cachin, Nishanth Chandran

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009 | July 2009

ISBN: 978-0-7695-3712-2

Moshe Babaioff, Jason Hartline, Robert Kleinberg

ACM Conference on Electronic Commerce (EC’09) | July 2009

To appear.

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