출판 Communication Complexity of Approximate Maximum Matching in Distributed Graph Data Zengfeng Huang, Bozidar Radunovic, Milan Vojnovic, Qin Zhang MSR-TR-2013-35 | April 2013
출판 Mastering the Art of War: How Patterns of Gameplay Influence Skill in Halo Jeff Huang, Tom Zimmermann, Nachi Nagappan, Charles Harrison, Bruce Phillips Proceedings of the International Conference on Human Factors in Computing Systems (CHI 2013) | April 2013 프로젝트
출판 Uncertain< T >: A First-Order Type for Uncertain Data James Bornholt, Todd Mytkowicz, Kathryn S McKinley MSR-TR-2013-46 | April 2013
출판 On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs Jacek Czerwonka April 2013 프로젝트
출판 On Discovery of Gathering Patterns from Trajectories Kai Zheng, Yu Zheng, Nicholas Jing Yuan, Shuo Shang Proceedings of The 29th IEEE International Conference on Data Engineering | April 2013 프로젝트 프로젝트
출판 Efficiently Sampling Probabilistic Programs via Program Analysis Arun T. Chaganty, Aditya Nori, Sriram Rajamani Artificial Intelligence and Statistics (AISTATS) | April 2013 프로젝트
출판 Deriving Probability Density Functions from Probabilistic Functional Programs Sooraj Bhat, Johannes Borgström, Andy Gordon, Claudio Russo 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 | March 2013