论文与出版物 Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series) Sumit Gulwani Oregon Summer School | July 2009 视频 视频 视频 项目
论文与出版物 A Secure Cryptographic Token Interface 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
论文与出版物 Contextual Bandits with Similarity Information Aleksandrs Slivkins MSR-TR-2009-191 | July 2009 Technical report on arxiv.org (http://arxiv.org/abs/0907.3986). 项目
论文与出版物 Equilibria in Congestion Game Models: Existence, Complexity and Efficiency Vasilis Syrgkanis July 2009 博士论文:Cornell University Library | July 2009
论文与出版物 Maximum Bipartite Flow in Networks with Adaptive Channel Width Yossi Azar, Aleksander Madry, Thomas Moscibroda, Debmalya Panigrahi, Aravind Srinivasan 36th International Colloquium on Automata, Languages and Programming (ICALP) | July 2009
论文与出版物 Good Learners for Evil Teachers Ofer Dekel, Ohad Shamir Proceedings of the Twenty-Sixth International Conference on Machine Learning | July 2009
论文与出版物 Crowdsourcing and All-Pay Auctions Dominic DiPalantino, Milan Vojnovic ACM EC ’09, July 6-1, 2009, Stanford, CA | July 2009 项目
论文与出版物 On the $alpha$-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games 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
论文与出版物 Bounded Cost Algorithms for Multivalued Consensus using Binary Consensus Instances Jialin Zhang, Wei Chen Information Processing Letters, Elsevier, (109), 2009, pp. 1005 -1009. | June 2009
论文与出版物 VS3: SMT Solvers for Program Verification Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster CAV ’09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009 项目