Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 9093 | 3525 |
h-индекс | 48 | 27 |
i10-индекс | 126 | 74 |
Общий доступ
Просмотреть все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 - Главная страница