Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 23629 | 13565 |
Índice h | 73 | 56 |
Índice i10 | 197 | 146 |
Acesso público
Ver tudo106 artigos
2 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail confirmado em eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityEmail confirmado em cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail confirmado em sri.com
- Wenchao LiAssistant Professor, Boston UniversityEmail confirmado em bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail confirmado em csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaEmail confirmado em seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchEmail confirmado em microsoft.com
- Shaz QadeerSoftware Engineer, MetaEmail confirmado em meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryEmail confirmado em csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelEmail confirmado em ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsEmail confirmado em engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyEmail confirmado em cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityEmail confirmado em cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaEmail confirmado em sssup.it
- Stephen FreundComputer Science, Williams CollegeEmail confirmado em cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleEmail confirmado em google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaEmail confirmado em umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail confirmado em illinois.edu
Seguir
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Email confirmado em eecs.berkeley.edu - Página inicial