Algorithms

Loris D'Antoni, Margus Veanes,

25th International Conference on Computer Aided Verification (CAV’13) | July 2013

The associated TR is an extended version of the conference paper.

Milad Shokouhi, Ryen W. White, Paul N. Bennett, Filip Radlinski

Proceedings of the 36th Annual ACM SIGIR Conference (SIGIR 2013) | July 2013

Ahmed Kirmani, Arrigo Benedetti, Philip A. Chou

IEEE Int’l Conference on Multimedia & Expo (ICME) | July 2013

Krishnaram Kenthapadi, Aleksandra Korolova, Ilya Mironov, Nina Mishra

Journal of Privacy and Confidentiality | July 2013, Vol 5(1)

Prateek Jain, Abhradeep Thakurta

Proceedings of the 30th International Conference on Machine Learning, ICML 2013, Atlanta, GA, USA, 16-21 June 2013 | July 2013

Daniel Delling, Andrew Goldberg, Andreas Nowatzyk, Renato Werneck

Journal of Parallel and Distributed Computing | July 2013

Margus Veanes

CIAA’13 | July 2013

Project

Yuezhou Lv, Thomas Moscibroda

32nd Annual ACM Symposium on Principles of Distributed Computing (PODC) | July 2013

Karthik Raman, Paul N. Bennett, Kevyn Collins-Thompson

Proceedings of the 36th Annual ACM SIGIR Conference (SIGIR 2013) | July 2013

Best Student Paper

Paul Pham, Krysta M. Svore, Krysta M. Svore

Quantum Information and Computation | July 2013, Vol 13: pp. 937-962

Also available at http://arxiv.org/abs/1207.6655; also presented at Reversible Computing 2012