Algorithms

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

Ian Kash, Nisarg Shah

WINE | January 2012

Min Wang, Jun Wu, Sai Feng Shi, Chong Luo, Feng Wu

IEEE Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS) | January 2012, Vol 2: pp. 591-603

Mo Becker

IEEE Symposium on Security and Privacy | 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

Leslie Lamport

Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. | December 2011, pp. 141-142