公開日 Model Checking Mobile Ambients Witold Charatonik, Silvano Dal Zilio, Andy Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Theoretical Computer Science | November 2003, 巻308(1-3): pp. 277-331
公開日 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
公開日 Division and Modulus for Computer Scientists Daan Leijen July 2003 July 2003 Short note about division definitions in programming languages
公開日 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, 巻90
公開日 Typing Correspondence Assertions for Communication Protocols Andy Gordon, Alan Jeffrey Theoretical Computer Science | May 2003, 巻300(1): pp. 379-409
公開日 Where to Start a Geometric Random Walk? Laszlo Lovasz, Santosh Vempala MSR-TR-2003-30 | April 2003
公開日 Deciding Validity in a Spatial Logic for Trees Cristiano Calcagno, Luca Cardelli, Andy Gordon MSR-TR-2002-113 | January 2003 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. アクセス
公開日 Markov chain intersections and the loop-erased walk Russell Lyons, Yuval Peres, Oded Schramm Ann. Inst. H. Poincaré Probab. Statist. | January 2003, 巻39: pp. 779-791
公開日 First passage percolation has sublinear distance variance Itai Benjamini, Gil Kalai, Oded Schramm Ann. Probab. | January 2003, 巻31: pp. 1970-1978
公開日 The Geometry of Logconcave Functions and an O* (n3) Sampling Algorithm Laszlo Lovasz, Santosh Vempala MSR-TR-2003-04 | January 2003