◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Microsoft Research (India)

India

7 papers here22 citations across 7
fields
  • math.PR2
  • cs.DC1
  • cs.DS1
  • cs.LO1
  • cs.NI1
  • physics.soc-ph1
ROR 02w7f3w92OpenAlex

affiliations via OpenAlex

output
20052009
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
  • Anurag Kumar1
  • Damien Doligez1
  • D. Malkhi1 · h 63
  • E. Lubetzky1 · h 33
  • G. Manku1 · h 18
  • Ittai Abraham1 · h 53
  • Janko Gravner1 · h 22
collaborating institutions
  • Georgia Institute of TechnologyUS1 paper
  • Google (United States)US1 paper
  • Hebrew University of JerusalemIL1 paper
  • Indian Institute of Science BangaloreIN1 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 cs.DSShow all

1 paper · 1 filter

cs.DS2008

Finding Dense Subgraphs in G(n,1/2)

Atish Das Sarma, Amit Deshpande, Ravi Kannan

Finding the largest clique is a notoriously hard problem, even on random graphs. It is known that the clique number of a random graph G(n,1/2) is almost surely either k or k+1, whe…

◍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.