Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 9138 | 3572 |
Índice h | 48 | 27 |
Índice i10 | 127 | 77 |
Acesso público
Ver todos36 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Sumit GulwaniPartner Research Manager, MicrosoftE-mail confirmado em microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mail confirmado em sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail confirmado em csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mail confirmado em colorado.edu
- patrick lincolnSRIE-mail confirmado em sri.com
- Adrià GascónGoogle ResearchE-mail confirmado em google.com
- Harald RuessfortissE-mail confirmado em fortiss.org
- Radu GrosuProfessor of Computer ScienceE-mail confirmado em tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityE-mail confirmado em cs.sunysb.edu
- John RushbySRI InternationalE-mail confirmado em csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityE-mail confirmado em cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesE-mail confirmado em amazon.com
- Sam OwreSRI InternationalE-mail confirmado em sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityE-mail confirmado em princeton.edu
- Junxing YangStony Brook UniverisityE-mail confirmado em cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail confirmado em cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurE-mail confirmado em cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesE-mail confirmado em amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthE-mail confirmado em umassd.edu
Seguir
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
E-mail confirmado em csl.sri.com - Página inicial