Obtenir mon propre profil
Citée par
Toutes | Depuis 2018 | |
---|---|---|
Citations | 19944 | 11819 |
indice h | 68 | 55 |
indice i10 | 183 | 136 |
Accès public
Tout afficher93 articles
2 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 LiAssistant 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
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Shaz QadeerResearch Scientist, FacebookAdresse e-mail validée de fb.com
Ofer StrichmanTechnion, Haifa, IsraelAdresse e-mail validée de ie.technion.ac.il
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Daniel HolcombAssociate Professor, University of MassachusettsAdresse e-mail validée de engin.umass.edu
Prabal DuttaAssociate Professor, UC BerkeleyAdresse e-mail validée de eecs.umich.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
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
Petros ManiatisStaff Research Scientist, GoogleAdresse e-mail validée de google.com
Suivre
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Adresse e-mail validée de eecs.berkeley.edu - Page d'accueil