Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 9103 | 3535 |
Índice h | 48 | 27 |
Índice i10 | 126 | 76 |
Acesso público
Ver tudo36 artigos
2 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Sumit GulwaniPartner Research Manager, MicrosoftEmail confirmado em microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail confirmado em sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryEmail confirmado em csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail confirmado em eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail confirmado em colorado.edu
- patrick lincolnSRIEmail confirmado em sri.com
- Adrià GascónGoogle ResearchEmail confirmado em google.com
- Harald RuessfortissEmail confirmado em fortiss.org
- Radu GrosuProfessor of Computer ScienceEmail confirmado em tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityEmail confirmado em cs.sunysb.edu
- John RushbySRI InternationalEmail confirmado em csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityEmail confirmado em cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesEmail confirmado em amazon.com
- Sam OwreSRI InternationalEmail confirmado em sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityEmail confirmado em princeton.edu
- Junxing YangStony Brook UniverisityEmail confirmado em cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail confirmado em cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurEmail confirmado em cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesEmail confirmado em amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthEmail confirmado em umassd.edu
Seguir
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Email confirmado em csl.sri.com - Página inicial