◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Microsoft Research (India)

India

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

affiliations via OpenAlex

most citedA TLA+ Proof System

17 citations

researchers with a paper here
  • Alexander E. Holroyd1
  • Amit Deshpande1
  • Animesh Mukherjee1
  • Anupam Basu1
  • Atish Das Sarma1
  • Damien Doligez1
  • D. Malkhi1 · h 63
  • G. Manku1 · h 18
  • Ittai Abraham1 · h 53
  • Janko Gravner1
  • Kaustuv Chaudhuri1
  • Leslie Lamport1
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
  • University of British ColumbiaCA1 paper
  • University of California, DavisUS1 paper
Showing astro-ph.COShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers
◍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.