Algorithms

Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger

Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2010

Sergey Yekhanin

Published by NOW Publishers | January 2010

Reshef Meir, Yoram Bachrach, , Jeffrey S. Rosenschein

SAGT 2010 | January 2010

SAGT 2010

Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li

MSR-TR-2010-36 | January 2010

no. MSR-TR-2010-6

Fahad Dogar, Peter Steenkiste, Konstantina Papagiannaki

Proceedings of MobiSys | January 2010

Proceedings of MobiSys

Cynthia Dwork

Symposium on Discrete Algorithms (SODA) | January 2010

Symposium on Discrete Algorithms (SODA)

Project

Anupam Gupta, Katrina Ligett, Frank McSherry, Aaron Roth, Kunal Talwar

SODA | January 2010

This is the full version.

Ofer Dekel, Claudio Gentile, Karthik Sridharan

January 2010

Christian Borgs, Jennifer Chayes, Brian Karrer, Brendan Meeder, R. Ravi, Ray Reagans, Amin Sayedi

Proceedings of the 7th Workshop on Algorithms and Models for the Web Graph (WAW) | January 2010

Allan Borodin, Brendan Lucier

International Colloquium on Automata, Languages and Programming 2010 | January 2010