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