Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 15649 | 3073 |
Índice h | 60 | 30 |
Índice i10 | 122 | 64 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Thomas BallMicrosoft ResearchDirección de correo verificada de microsoft.com
Aditya NoriMicrosoft ResearchDirección de correo verificada de microsoft.com
Shaz QadeerSoftware Engineer, MetaDirección de correo verificada de meta.com
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLADirección de correo verificada de cs.ucla.edu
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityDirección de correo verificada de informatik.uni-freiburg.de
Ganesan RamalingamMicrosoft Research IndiaDirección de correo verificada de microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghDirección de correo verificada de microsoft.com
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
James R LarusProfessor, EPFLDirección de correo verificada de larusstone.org
Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesDirección de correo verificada de amazon.com
Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com
Sumit GulwaniPartner Research Manager, MicrosoftDirección de correo verificada de microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchDirección de correo verificada de fahndrich.com
Venkatesh-Prasad RanganathGoogleDirección de correo verificada de ksu.edu
Robert J. SimmonsCarnegie Mellon University (formerly)Dirección de correo verificada de cs.cmu.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceDirección de correo verificada de imperial.ac.uk
Seguir![Sriram Rajamani](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=o-EdErcAAAAJ&citpid=2)
Sriram Rajamani
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal