Publication Formal Analysis of Dynamic, Distributed File-System Access Controls Avik Chaudhuri, Martin Abadi Formal Techniques for Networked and Distributed Systems (FORTE 2006) | September 2006
Publication Embedding, Distance Estimation and Object Location in Networks Aleksandrs Slivkins, Aleksandrs Slivkins August 2006 August 2006
Publication Concurrent Composition of Secure Protocols in the Timing Model Ronald L Rivest, Adi Shamir, Yael Tauman Kalai Journal of Cryptology | July 2006
Publication Graph Limits and Parameter Testing Christian Borgs, Jennifer Chayes, Laszlo Lovasz, Vera T. Sos, Balazs Szegedy, Katalin Vesztergombi May 2006
Publication Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing Christian Borgs, Jennifer Chayes, L. Lovasz, V. T. Sos, K. Vesztergombi May 2006
Publication Code Generation and Factoring for Fast Evaluation of Low-order Spherical Harmonic Products and Squares John Snyder MSR-TR-2006-53 | May 2006
Publication Towards a Quality Model for Effective Data Selection in Collaboratories Yogesh Simmhan, Dennis Gannon International Conference on Data Engineering Workshops (ICDEW) – Scientific Workflows and Dataflows (SciFlow) | April 2006 ISBN: 769525717
Publication Program Termination, and Well Partial Orderings Andreas Blass, Yuri Gurevich MSR-TR-2006-27 | March 2006
Publication Simulated Annealing for Convex Optimization Adam Tauman Kalai, Santosh Vempala Mathematics of Operations Research | February 2006, Vol 31(2): pp. 253-266
