Algorithms

Thomas Ball, Orna Kupferman, Greta Yorsh

MSR-TR-2005-50 | June 2005

Avrim Blum, Cynthia Dwork, Frank McSherry, Kobbi Nissim

24th ACM SIGMOD International Conference on Management of Data / Principles of Database Systems, Baltimore (PODS 2005) | June 2005

プロジェクト

Yuri Gurevich

MSR-TR-2005-73 | June 2005

Lintao Zhang

8th International Conference on the Theory and Applications of Satisfiability Testing (SAT 2005) | June 2005

Sumit Gulwani, George C. Necula

Information and Computation – Special issue: 19th international conference on automated deduction (CADE-19) | May 2005, 巻199(1): pp. 107-131

プロジェクト

K. Rojviboonchai, Fan Yang, Q. Zhang, H. Aida, W. Zhu

May 2005

Shuvendu Lahiri, Madan Musuvathi

MSR-TR-2005-67 | May 2005

Frontiers of Combining Systems (FroCos '05)

Richard Black, Austin Donnelly, Alexandru Gavrilescu, Dave Thaler

Proceedings of 4th International IFIP-TC6 Networking Conference (NETWORKING 2005) | May 2005

To appear

Wei Chen, Shi-Ding Lin, Qiao Lian, Zheng Zhang

MSR-TR-2005-58 | May 2005

Jonathan Goldstein, John Platt, Chris J.C. Burges

May 2005