Algorithms

Yoram Bachrach, Nisarg Shah

SAGT | January 2013

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

Formal Methods in System Design | January 2013, Vol 43(1): pp. 93-120

Kaisheng Yao, Dong Yu, Li Deng, Yifan Gong

Neurocomputing | January 2013

Giulio Chiribella, Giacomo Mauro D'Ariano, Martin Roetteler

Proceedings 8th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC’13) | 2013

Yagil Engel, Moshe Tennenholtz

AAAI | January 2013

Yiling Chen, Michael Ruberry, Jennifer Wortman Vaughan

Fourteenth ACM Conference on Electronic Commerce (EC) | January 2013

Project

Edith Cohen, Daniel Delling, Fabian Fuchs, Andrew Goldberg, Moises Goldszmidt, Renato Werneck

Proceedings of the ACM Conference on Online Social Networks (COSN’13) | January 2013

Nadia Fawaz, S. Muthukrishnan, Aleksandar Nikolov

Algorithms – ESA 2013 – 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings | January 2013

Algorithms – ESA 2013 – 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Ittai Abraham, Shiri Chechik, David Kempe, Aleksandrs Slivkins

CoRR, ACM-SIAM Symposium on Discrete Algorithms (SODA) | January 2013

Geoffrey Zweig, Konstantin Makarychev

ICASSP | January 2013

Project