Mathematics - Microsoft Research

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.

Download

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

Conformal restriction: the chordal case

Greg Lawler, Oded Schramm, Wendelin Werner

J. Amer. Math. Soc. | January 2003, Vol 16: pp. 917-955

Publication

Directed Scale-Free Graphs

Bela Bollobas, Christian Borgs, Jennifer Chayes, Oliver Riordan

Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) | January 2003

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

Download

Validity

Validity checker for a spatial logic, as described in the paper “Deciding Validity in a Spatial Logic for Trees” by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002.

Download Publication Publication

Publication

Region Analysis and a Ï”-Calculus with Groups

Silvano Dal Zilio, Andy Gordon

Journal of Functional Programming | May 2002, pp. 229-292

Publication

On the Sampling Problem for H-colorings on the Hypercubic Lattice

Christian Borgs, Jennifer Chayes, Martin Dyer, Prasad Tetali

Graphs, Morphisms and Statistical Physics (eds. J Nesetril and P Winkler), DIMACS Series in Discrete Mathematics and Theoretical Computer Science | April 2002