◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Microsoft Research (India)

India

10 papers here27 citations across 10
fields
  • math.PR2
  • cs.AI1
  • cs.CL1
  • cs.DC1
  • cs.DS1
  • cs.LO1
  • cs.NI1
  • physics.data-an1
ROR 02w7f3w92OpenAlex

affiliations via OpenAlex

output
20052009
most citedA TLA+ Proof System

17 citations

researchers with a paper here
  • Animesh Mukherjee2 profiles3
  • Monojit Choudhury2
  • Niloy Ganguly2 profiles2
  • A. Basu1
  • A. Deshpande1
  • A. D. Sarma1
  • A. Holroyd1 · h 26
  • Anupam Basu1
  • Anurag Kumar1
  • Ashish Garg1
  • Chris Biemann1
  • Damien Doligez1
collaborating institutions
  • Indian Institute of Technology KharagpurIN3 papers
  • Microsoft Research (United Kingdom)GB2 papers
  • Centre de Recherche en InformatiqueFR1 paper
  • Georgia Institute of TechnologyUS1 paper
  • Google (United States)US1 paper
  • Hebrew University of JerusalemIL1 paper
  • Indian Institute of Science BangaloreIN1 paper
  • Institut national de recherche en sciences et technologies du numériqueFR1 paper
  • Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
  • Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
  • Malaviya National Institute of Technology JaipurIN1 paper
  • Microsoft (Germany)DE1 paper
Showing 2007 · cs.DSShow 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.