Algorithms

Ittai Abraham, Daniel Delling, Andrew Goldberg, Renato Werneck

Proceedings of the 20th Annual European Symposium on Algorithms (ESA’12) | January 2012

Proceedings of the 20th Annual European Symposium on Algorithms (ESA'12)

to appear

Youssef Hamadi, Christoph M. Wintersteiger

Proceedings of AAAI | January 2012

Niv Buchbinder, Joseph (Seffi) Naor, R. Ravi, Mohit Singh

Automata, Languages, and Programming – 39th International Colloquium, ICALP (1) | January 2012

Moshe Tennenholtz

Innovations in Computer Science | January 2012

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | January 2012

Bernhard Haeupler, Telikepalli Kavitha, Rogers Mathew, Siddhartha Sen, Robert E. Tarjan

ACM Transactions on Algorithms | January 2012, Vol 8

33 pages

Sébastien Bubeck, Nicolò Cesa-Bianchi

Foundations and Trends® in Machine Learning | January 2012

Peng Wang, Jingdong Wang, Gang Zeng, Jie Feng, Hongbin Zha, Shipeng Li

IEEE Conference on Computer Vision and Pattern Recognition (CVPR12) | January 2012

Raman Arora, Ofer Dekel, Ambuj Tewari

In Proceedings of the Twenty-Ninth International Conference on Machine Learning | January 2012

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella-Béguelin

3rd International Conference on Interactive Theorem Proving, ITP 2012 | January 2012