Algorithms

Ian Kash, Nisarg Shah

WINE | January 2012

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012

To appear

Project

Ery Arias-Castro, Sébastien Bubeck, Gábor Lugosi

January 2012

Sébastien Bubeck, Nicolò Cesa-Bianchi

Foundations and Trends® in 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

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

19th International Symposium on Static Analysis, SAS 2012 | January 2012

Malcolm Slaney, Yury Lifshits, Junfeng He

Proceedings of the IEEE | January 2012

53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012 | January 2012

Wei Chen, Pinyan Lu, Xiaorui Sun, Bo Tang, Yajun Wang, Zeyuan Allen Zhu

In Proceedings of the 7th Workshop on Internet and Network Economics (WINE’2011), Singapore, December 2011. | December 2011

Qifei Wang, Jin Li, Gary J. Sullivan, Ming-Ting Sun

2011 Visual Communications and Image Processing | December 2011