Algorithms

Muntasir Raihan Rahman, Raouf Boutaba

IEEE Transactions on Network and Service Management | February 2013, Vol 10(2)

Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura

Formal Methods in System Design | February 2013, Vol 42: pp. 3-23

Xi Chen, Paul N. Bennett, Kevyn Collins-Thompson, Eric Horvitz

Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM ’13) | February 2013

Proceedings of the 6th ACM International Conference on Web Search and Data Mining (WSDM '13)

Qifei Wang, Xiangyang Ji, Ming-Ting Sun, Gary J. Sullivan, Jin Li, Qionghai Dai

IEEE Transactions on Circuits and Systems for Video Technology | January 2013, Vol 23(2): pp. 338-352

Leslie Lamport

Wired | January 2013

Kenneth McMillan, Andrey Rybalchenko

MSR-TR-2013-6 | January 2013

Project

Sayan Bhattacharya, Janardhan (Jana) Kulkarni, Xiaoming Xu

January 2013

Nikhil Devanur, Kamal Jain, Robert D. Kleinberg

In Proc. SODA 2013 | January 2013

Daniel Delling, Andrew Goldberg, Renato Werneck

Proceedings of the 12th International Symposium on Experimental Algorithms (SEA’13) | January 2013

Anne Schuth, Katja Hofmann, Shimon Whiteson, Maarten de Rijke

Living Lab’13: Workshop on Living Labs for Information Retrieval Evaluation | January 2013

Living Lab'13: Workshop on Living Labs for Information Retrieval Evaluation