Algorithms

Deeparnab Chakrabarty, Aranyak Mehta, Viswanath Nagarajan, Vijay Vazirani

EC ’05 Proceedings of the 6th ACM conference on Electronic commerce, Vancouver, BC, Canada | June 2005

ISBN: 1-59593-049-3

Sidharth Jaggi, Peter Sanders, Philip A. Chou, Michelle Effros, Sebastian Egner, Kamal Jain, Ludo M. G. M. Tolhuizen

IEEE Trans. Information Theory | June 2005

Libo Yang, Keman Yu, Jiang Li, Shipeng Li

June 2005

Zhi Yang, Hua Cai, Jiang Li

June 2005

Partha Dutta, Rachid Guerraoui, Leslie Lamport

Proceedings of the International Conference on Dependable Systems and Networks (DSN 2005) | June 2005

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

项目