출판 Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura Formal Methods in System Design | February 2013, 제 42 권: pp. 3-23
출판 Complexity Reduction and Performance Improvement for Geometry Partitioning in Video Coding Qifei Wang, Xiangyang Ji, Ming-Ting Sun, Gary J. Sullivan, Jin Li, Qionghai Dai IEEE Transactions on Circuits and Systems for Video Technology | January 2013, 제 23 권(2): pp. 338-352
출판 Computing Relational Fixed Points using Interpolation Kenneth McMillan, Andrey Rybalchenko MSR-TR-2013-6 | January 2013 프로젝트
출판 Constant-Competitive Prior-Free Auction with Ordered Bidders Sayan Bhattacharya, Janardhan (Jana) Kulkarni, Xiaoming Xu January 2013
출판 Randomized Primal-Dual Analysis of RANKING for Online Bipartite Matching Nikhil Devanur, Kamal Jain, Robert D. Kleinberg In Proc. SODA 2013 | January 2013
출판 Better Rates for Any Adversarial Deterministic MDP Ofer Dekel, Elad Hazan Proceedings of the 30 th International Conference on Machine Learning | January 2013
출판 Strategyproof Mechanisms for Competitive Influence in Networks Allan Borodin, Mark Braverman, Brendan Lucier, Joel Oren International World Wide Web Conference 2013 | January 2013
출판 An Improved Integrality Gap for Asymmetric TSP Paths Zachary Friggstad, Anupam Gupta, Mohit Singh In Proceedings of 16th International Conference on Integer Programming and Combinatorial Optimization IPCO 2013 | January 2013
출판 Hub Label Compression Daniel Delling, Andrew Goldberg, Renato Werneck Proceedings of the 12th International Symposium on Experimental Algorithms (SEA’13) | January 2013