Publication Blackbox Polynomial Identity Testing for Depth 3 Circuits Neeraj Kayal, Shubhangi Saraf Foundations of Computer Science (FOCS) | January 2009 Foundations of Computer Science (FOCS)
Publication A Computational Theory of Awareness and Decision Making Nikhil Devanur, Nikhil R. Devanur, Lance Fortnow Theoretical Aspects of Rationality and Knowledge, TARK | January 2009
Publication Compositional May-Must Program Analysis: Unleashing The Power of Alternation Patrice Godefroid, Aditya Nori, Sriram Rajamani, MSR-TR-2009-2 | January 2009 Project
Publication A Concurrent Portfolio Approach to SMT Solving Youssef Hamadi, Leonardo de Moura, Christoph M. Wintersteiger Proceedings of the 21st International Conference on Computer Aided Verification (CAV) | January 2009
Publication Single-Value Combinatorial Auctions and Algorithmic Implementation in Undominated Strategies Moshe Babaioff, Ron Lavi, Elan Pavlov Journal of the ACM (JACM) | January 2009, Vol 56(1)
Publication Secretary Problems: Weights and Discounts Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, Kunal Talwar Symposium on Discrete Algorithms (SODA’09) | January 2009
Publication Survivable Network Design with Degree or Order Constraints Lap Chi Lau, Joseph (Seffi) Naor, Mohammad R. Salavatipour, Mohit Singh In Proceedings of 39th ACM Symposium on Theory of Computing, STOC 2007 | January 2009
Publication Iterative Rounding for Multi-Objective Optimization Problems Fabrizio Grandoni, R. Ravi, Mohit Singh In Proceedings of European Symposium of Algorithms, ESA | January 2009
Publication Learning equilibria in repeated congestion games Moshe Tennenholtz, Aviv Zohar AAMAS ’09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems | January 2009 ISBN: 978-0-9817381-6-1
Publication Attaching UI enhancements to websites with end users Michael Toomim, Steven Drucker, Mira Dontcheva, Ali Rahimi, Blake Thomson Proceedings of the 27th international conference on Human factors in computing systems | January 2009 Proceedings of the 27th international conference on Human factors in computing systems ISBN: 978-1-60558-246-7
