Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 786 | 776 |
indice h | 6 | 6 |
indice i10 | 6 | 6 |
Accès public
Tout afficher7 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinAdresse e-mail validée de cs.utexas.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIAdresse e-mail validée de caltech.edu
Pushmeet KohliDeepMindAdresse e-mail validée de google.com
Rishabh SinghResearch Scientist, Google BrainAdresse e-mail validée de google.com
Vijayaraghavan MuraliFacebookAdresse e-mail validée de fb.com
Hoang M. LeLatitude AI; Argo AI; Microsoft Research; CaltechAdresse e-mail validée de lat.ai
Gábor OroszMechanical Engineering, University of Michigan, Ann ArborAdresse e-mail validée de umich.edu
Richard ChengCalifornia Institute of TechnologyAdresse e-mail validée de caltech.edu
Greg AndersonUniversity of Texas at AustinAdresse e-mail validée de cs.utexas.edu
Isil DilligUT AustinAdresse e-mail validée de cs.utexas.edu
Joshua MichalenkoSandia National LaboratoriesAdresse e-mail validée de sandia.gov
Jennifer J. SunIncoming assistant professor to Cornell CSAdresse e-mail validée de caltech.edu
Eric ZhanCaltech PhDAdresse e-mail validée de caltech.edu
Thomas HenzingerIST AustriaAdresse e-mail validée de ist.ac.at
Mathias LechnerMassachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
Krishnendu ChatterjeeProfessor, IST AustriaAdresse e-mail validée de ist.ac.at
Djordje ZikelicSingapore Management UniversityAdresse e-mail validée de smu.edu.sg
Cameron VoloshinCaltechAdresse e-mail validée de caltech.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Ankit B. PatelAssistant Professor, Baylor College of Medicine, Rice UniversityAdresse e-mail validée de rice.edu