Publication Attribute-based encryption for fine-grained access control of encrypted data Vipul Goyal, Omkant Pandey, Amit Sahai, Brent Waters CCS ’06 Proceedings of the 13th ACM conference on Computer and communications security | November 2006
Publication Interactive Small-Step Algorithms I: Axiomatization Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman MSR-TR-2006-170 | November 2006
Publication Synergy: A New Algorithm for Property Checking Bhargav Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) | November 2006 Project
Publication Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman MSR-TR-2006-171 | November 2006
Publication Learning to Search Web Pages with Query-Level Loss Functions Tao Qin, Tie-Yan Liu, Ming-feng Tsai, Xu-Dong Zhang, Hang Li MSR-TR-2006-156 | November 2006
Publication Study of Statistical Models for Query Translation: Finding a Good Unit of Translation Jianfeng Gao, Jian-Yun Nie SIGIR | October 2006
Publication An Effective Epipolar Geometry Assisted Motion Estimation Technique for Multi-View Image and Video Coding Jiangbo Lu, Hua Cai, Jian-Guang Lou, Jiang Li International Conference on Image Processing | October 2006
Publication Predestination: Inferring Destinations from Partial Trajectories John Krumm, Eric Horvitz Eighth International Conference on Ubiquitous Computing (UbiComp 2006) | September 2006 Eighth International Conference on Ubiquitous Computing (UbiComp 2006)
Publication Checking a Multithreaded Algorithm with +CAL Leslie Lamport International Symposium on Distributed Computing (DISC) | September 2006
