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, 第 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

项目

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

Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich

In Advances in Cryptology (CRYPTO) | January 2013, pp. 536-553

Martin Roetteler, Arne Winterhof

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