Algorithms

Avrim Blum, John P. Dickerson, Nika Haghtalab, Ariel D. Procaccia, Tuomas Sandholm, Ankit Sharma

Proceedings of the 15th ACM Conference on Economics and Computation (EC), 2015. | July 2015

Maria-Florina Balcan, Avrim Blum, Nika Haghtalab, Ariel D. Procaccia

Proceedings of the 15th ACM Conference on Economics and Computation (EC), 2015. | July 2015

Sébastien Bubeck, Ronen Eldan, Joseph Lehec

July 2015

Project

Yair Zick, Yoram Bachrach, Ian Kash, Peter Key

24th International Joint Conference on Artificial Intelligence | July 2015

24th International Joint Conference on Artificial Intelligence

Pranjal Awasthi, Maria-Florina Balcan, Nika Haghtalab, Ruth Urner

Proceedings of the 28th Annual Conference on Learning Theory (COLT) 2015. | July 2015

Computer Aided Verification (CAV) | July 2015

Dan Alistarh, Rati Gelashvili, Adrian Vladu

July 2015

In Proceedings of PODC 2015.

Dan Alistarh, Milan Vojnovic, Rati Gelashvili

Proceedings of ACM Symposium on Principles of Distributed Computing (PODC 2015) | July 2015

Loris D’Antoni, Margus Veanes

Formal Methods in System Design | July 2015

B. Hall, N. Piterman, A. Hajnal, J Fisher, Jasmin Fisher

Biophysical Journal | July 2015, Vol 109: pp. 428-438