◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Microsoft Research (India)

India

6 papers here18 citations across 6
fields
  • math.PR2
  • cs.DC1
  • cs.DS1
  • cs.LO1
  • physics.soc-ph1
ROR 02w7f3w92OpenAlex

affiliations via OpenAlex

output
20052008
most citedA TLA+ Proof System

17 citations

researchers with a paper here
  • A. Basu1
  • A. Deshpande1
  • A. D. Sarma1
  • A. Holroyd1 · h 26
  • Animesh Mukherjee1
  • Damien Doligez1
  • D. Malkhi1 · h 63
  • E. Lubetzky1 · h 33
  • G. Manku1 · h 18
  • Ittai Abraham1 · h 53
  • Janko Gravner1 · h 22
  • Kaustuv Chaudhuri1
collaborating institutions
  • Georgia Institute of TechnologyUS1 paper
  • Google (United States)US1 paper
  • Hebrew University of JerusalemIL1 paper
  • Indian Institute of Technology KharagpurIN1 paper
  • Institut national de recherche en sciences et technologies du numériqueFR1 paper
  • Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
  • Microsoft Research (United Kingdom)GB1 paper
  • Microsoft (United States)US1 paper
  • Tel Aviv UniversityIL1 paper
  • University of British ColumbiaCA1 paper
  • University of California, DavisUS1 paper
Showing math.PRShow all

2 papers · 1 filter

math.PR2008

Local Bootstrap Percolation

Janko Gravner, Alexander E. Holroyd

We study a variant of bootstrap percolation in which growth is restricted to a single active cluster. Initially there is a single active site at the origin, while other sites of Z^…

math.PR2007

Poisson approximation for non-backtracking random walks

Noga Alon, Eyal Lubetzky

Random walks on expander graphs were thoroughly studied, with the important motivation that, under some natural conditions, these walks mix quickly and provide an efficient method…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.