Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 9103 | 3535 |
h-індекс | 48 | 27 |
i10-індекс | 126 | 76 |
Доступні для всіх
Переглянути всі36 статей
2 статті
доступні
недоступні
За умовами фінансування
Співавтори
- Sumit GulwaniPartner Research Manager, MicrosoftПідтверджена електронна адреса в microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalПідтверджена електронна адреса в sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryПідтверджена електронна адреса в csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderПідтверджена електронна адреса в colorado.edu
- patrick lincolnSRIПідтверджена електронна адреса в sri.com
- Adrià GascónGoogle ResearchПідтверджена електронна адреса в google.com
- Harald RuessfortissПідтверджена електронна адреса в fortiss.org
- Radu GrosuProfessor of Computer ScienceПідтверджена електронна адреса в tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityПідтверджена електронна адреса в cs.sunysb.edu
- John RushbySRI InternationalПідтверджена електронна адреса в csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityПідтверджена електронна адреса в cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesПідтверджена електронна адреса в amazon.com
- Sam OwreSRI InternationalПідтверджена електронна адреса в sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityПідтверджена електронна адреса в princeton.edu
- Junxing YangStony Brook UniverisityПідтверджена електронна адреса в cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKПідтверджена електронна адреса в cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurПідтверджена електронна адреса в cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesПідтверджена електронна адреса в amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthПідтверджена електронна адреса в umassd.edu
Підписатись
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Підтверджена електронна адреса в csl.sri.com - Домашня сторінка