Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 23681 | 13617 |
Índice h | 73 | 56 |
Índice i10 | 197 | 146 |
Acceso público
Ver todo108 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalDirección de correo verificada de sri.com
- Wenchao LiAssistant Professor, Boston UniversityDirección de correo verificada de bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftDirección de correo verificada de csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
- Shaz QadeerSoftware Engineer, MetaDirección de correo verificada de meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsDirección de correo verificada de engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyDirección de correo verificada de cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaDirección de correo verificada de sssup.it
- Stephen FreundComputer Science, Williams CollegeDirección de correo verificada de cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleDirección de correo verificada de google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaDirección de correo verificada de umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Seguir
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Dirección de correo verificada de eecs.berkeley.edu - Página principal