论文与出版物 Interpolants as Classifiers Rahul Sharma, Aditya Nori, Alex Aiken, MSR-TR-2012-13 | January 2012
论文与出版物 Round-Based Public Transit Routing Daniel Delling, Thomas Pajor, Renato Werneck Proceedings of the 14th Meeting on Algorithm Engineering and Experiments (ALENEX’12) | January 2012
论文与出版物 Automated Termination Proofs for Java Bytecode with Cyclic Data Marc Brockschmidt, Richard Musiol, Carsten Otto, Juergen Giesl CAV | January 2012
论文与出版物 Integrating Community Matching and Outlier Detection for Mining Evolutionary Community Outliers Manish Gupta, Jing Gao, Yizhou Sun, Jiawei Han Proc. of the 18th ACM Intl. Conf. on Knowledge Discovery and Data Mining (KDD) | January 2012
论文与出版物 Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits POPL’12 | January 2012
论文与出版物 Using Dafny, an Automatic Program Verier Luke Herbert, Rustan Leino, Jose Quaresma Tools for Practical Software Verification | 2012 Github
论文与出版物 Corral: A Solver for Reachability Modulo Theories Akash Lal, Shaz Qadeer, Shuvendu Lahiri MSR-TR-2012-9 | January 2012 项目
论文与出版物 Better Bounds for Graph Bisection Daniel Delling, Renato Werneck Proceedings of the 20th Annual European Symposium on Algorithms (ESA’12) | January 2012 to appear
论文与出版物 Simulation distances Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna Theoretical Computer Science | December 2011, 第 413 卷(1): pp. 21-35 2010 International Conference on Concurrency Theory 项目
论文与出版物 Stepwise Refinement of Heap-Manipulating Code in Chalice Rustan Leino, Kuat Yessenov December 2011 项目