Publication Slow Mixing of Glauber Dynamics for the Hard-Core Model on Regular Bipartite Graphs David Galvin, Prasad Tetali MSR-TR-2004-06 | January 2004 Second author’s research supported in part by NSF grant DMS-0100289.
Publication Efficient Run-Length Encoding of Binary Sources with Unknown Statistics Max H.M. Costa, Henrique S. Malvar MSR-TR-2003-95 | December 2003
Publication Model Checking Mobile Ambients Witold Charatonik, Silvano Dal Zilio, Andy Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Theoretical Computer Science | November 2003, Vol 308(1-3): pp. 277-331
Publication Low-Complexity Transform and Quantization in H.264/AVC Henrique S. Malvar, Antti Hallapuro, Marta Karczewicz, Louis Kerofsky IEEE Transactions on Circuits and Systems | July 2003
Publication Division and Modulus for Computer Scientists Daan Leijen July 2003 Short note about division definitions in programming languages
Publication Collisions of two solitons in an arbitrary number of coupled nonlinear Schrödinger equations Marin Soljacic, Ken Steiglitz, Suzanne M. Sears, Mordechai Segev, Mariusz Jakubowski, Richard Squier Physical Review Letters | June 2003, Vol 90
Publication Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Theoretical Computer Science | May 2003, Vol 300(1): pp. 379-409
Publication Where to Start a Geometric Random Walk? Laszlo Lovasz, Santosh Vempala MSR-TR-2003-30 | April 2003
Publication Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 Published by Microsoft A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003. Access
Publication Markov chain intersections and the loop-erased walk Russell Lyons, Yuval Peres, Oded Schramm Ann. Inst. H. Poincaré Probab. Statist. | January 2003, Vol 39: pp. 779-791