January 31, 2006 Proc. 17th International Conference on Concurrency Theory, Bonn, Germany (CONCUR 2006), pp. 263-278 Dynamic Access Control in a Concurrent Object Calculus A. Chaudhuri
January 31, 2006 SIGGRAPH '06: ACM SIGGRAPH 2006 Sketches, p. 124 Fast and Adaptive Color-to-Grayscale Conversion M. Ruzon, Scott Cohen, Gregg Wilensky, M. Newell
January 31, 2006 Proc. 26th IFIP Conference on Formal Methods for Networked and Distributed Systems, Paris, France (FORTE 2006), pp. 99-114 Formal Analysis of Dynamic, Distributed File-System Access Controls A. Chaudhuri, M. Abadi
January 31, 2006 PhD Dissertation Proposal, University of California, Santa Cruz, USA Foundations of Access Control for Secure Storage A. Chaudhuri
January 31, 2006 ACM SIGGRAPH / Eurographics Symposium on Computer Animation , 2006 Oriented Strands – dynamics of stiff multi-body system Sunil Hadap
January 31, 2006 Proc. 19th IEEE Computer Security Foundations Symposium/Workshop, Venice, Italy (CSF 2006), pp. 112-123 Secrecy by Typing and File-Access Control A. Chaudhuri, M. Abadi
January 30, 2006 Fourth Eurographics Symposium on Geometry Processing , 227-230 A Quadratic Bending Model for Inextensible Surfaces M. Bergou, M. Wardetzky, D. Harmon, D. Zorin, E. Grinspun
January 30, 2006 In Asia and South Pacific Design Automation Conference NEWTON: A Library-Based Analytical Synthesis Tool for RF-MEMS Resonators M. McCorquodale, J. McCann, R. Brown
January 30, 2006 In Proceedings of ACM SIGGRAPH/Eurographics Symposium on Computer Animation Physics-Based Motions Retiming J. McCann, N. Pollard, S. Srinivasa
January 30, 2006 In 2006 Conference on Computer Vision and Pattern Recognition (CVPR 2006) , 2491–2497 Piecewise image registration in the presence of multiple large motions P. Bhat, K. Zheng, N. Snavely, A. Agarwala, M. Agrawala, M. Cohen, B. Curless