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 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
Publication First passage percolation has sublinear distance variance Itai Benjamini, Gil Kalai, Oded Schramm Ann. Probab. | January 2003, Vol 31: pp. 1970-1978
Publication The Geometry of Logconcave Functions and an O* (n3) Sampling Algorithm Laszlo Lovasz, Santosh Vempala MSR-TR-2003-04 | January 2003