Algorithms

Sanjam Garg, Raghav Bhaskar, Satyanarayana V. Lokam, Satya Lokam

CRYPTO | January 2008

ISBN: 978-3-540-85173-8

Michael Naehrig, Paulo S. L. M. Barreto, Peter Schwabe

Progress in Cryptology – AFRICACRYPT 2008 | January 2008

Progress in Cryptology – AFRICACRYPT 2008

Project

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons

MSR-TR-2008-17 | January 2008

Samuel Ieong, Yoav Shoham

Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2008

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008

Vipul Goyal, Jonathan Katz

Theory of Cryptography. TCC 2008. Lecture Notes in Computer Science | January 2008

Ben Carterette, Paul Bennett

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval | January 2008

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

Project