Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2878 | 1762 |
Índice h | 30 | 22 |
Índice i10 | 45 | 38 |
Acesso público
Ver todos27 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- Qi ZhuAssociate Professor of Computer EngineeringE-mail confirmado em northwestern.edu
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail confirmado em csl.sri.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mail confirmado em sri.com
- Shankar SastryUniversity of CaliforniaE-mail confirmado em berkeley.edu
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- patrick lincolnSRIE-mail confirmado em sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityE-mail confirmado em princeton.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mail confirmado em csl.sri.com
- Pramod SubramanyanIndian Institute of Technology KanpurE-mail confirmado em cse.iitk.ac.in
- Adrià GascónGoogle ResearchE-mail confirmado em google.com
- Alberto PuggelliPh.D., Apple Inc.E-mail confirmado em eecs.berkeley.edu
- Daniel HolcombAssociate Professor, University of MassachusettsE-mail confirmado em engin.umass.edu
- Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGE-mail confirmado em tttech.com
- Bowen ZhengPony.AIE-mail confirmado em ucr.edu
- Alessandro ForinPrincipal Researcher, Microsoft ResearchE-mail confirmado em microsoft.com
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mail confirmado em cs.huji.ac.il
- Victor ShiaUC BerkeleyE-mail confirmado em eecs.berkeley.edu
- Katherine Driggs-CampbellAssistant Professor, University of Illinois at Urbana-ChampaignE-mail confirmado em illinois.edu
- Roozbeh JafariTexas A&M UniversityE-mail confirmado em tamu.edu