Algorithms

Leslie Lamport

In Logics of Specification Languages | 2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition

Editor(s): Dines Bjarner and Martin C. Henson

Jia Chen, Lu Yuan, Chi-Keung Tang, Long Quan

IEEE Conference on Computer Vision and Pattern Recognition | August 2008

IEEE Conference on Computer Vision and Pattern Recognition

Ranveer Chandra, Ratul Mahajan, Thomas Moscibroda, Rayma Raghavendra, Victor Bahl

SIGCOMM 2008: ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Seattle, WA | August 2008

Project

Cynthia Dwork, Sergey Yekhanin

Advances in Cryptology—CRYPTO 2008 | August 2008

Project

Nishanth Chandran, Ryan Moriarty, Rafail Ostrovsky, Omkant Pandey, Mohammad Ali Safari, Amit Sahai

ACM Transactions on Algorithms | August 2008, Vol 4

M. Bayati, Christian Borgs, A. Braunstein, Jennifer Chayes, A. Ramezanpour, R. Zecchina

Physical Review Letters | July 2008

Dimitra Emmanouilidou

International Conference on Mass Data Analysis of Images and Signals in Medicine, Biotechnology, and Chemistry | July 2008

Bhargav S. Gulavani, Sumit Gulwani

CAV ’08 Proceedings of the 20th international conference on Computer Aided Verification | July 2008

Project

Denny Zhou, Christopher J.C. Burges

MLG-2008: 6th International Workshop on Mining and Learning with Graphs, Helsinki, Finland | July 2008

Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008

Project