Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 25506 | 13367 |
indice h | 73 | 53 |
indice i10 | 206 | 149 |
Accès public
Tout afficher115 articles
4 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresse e-mail validée de sri.com
Wenchao LiAssociate Professor, Boston UniversityAdresse e-mail validée de bu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse e-mail validée de csl.sri.com
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
Shaz QadeerMicrosoftAdresse e-mail validée de microsoft.com
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelAdresse e-mail validée de ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsAdresse e-mail validée de engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyAdresse e-mail validée de cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityAdresse e-mail validée de cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaAdresse e-mail validée de sssup.it
Stephen FreundComputer Science, Williams CollegeAdresse e-mail validée de cs.williams.edu
Petros ManiatisStaff Research Scientist, GoogleAdresse e-mail validée de google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaAdresse e-mail validée de umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Suivre
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Adresse e-mail validée de eecs.berkeley.edu - Page d'accueil