Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 9093 | 3525 |
h-indeks | 48 | 27 |
i10-indeks | 126 | 74 |
Dostęp publiczny
Wyświetl wszystko36 artykułów
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Sumit GulwaniPartner Research Manager, MicrosoftZweryfikowany adres z microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalZweryfikowany adres z sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryZweryfikowany adres z csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderZweryfikowany adres z colorado.edu
- patrick lincolnSRIZweryfikowany adres z sri.com
- Adrià GascónGoogle ResearchZweryfikowany adres z google.com
- Harald RuessfortissZweryfikowany adres z fortiss.org
- Radu GrosuProfessor of Computer ScienceZweryfikowany adres z tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityZweryfikowany adres z cs.sunysb.edu
- John RushbySRI InternationalZweryfikowany adres z csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityZweryfikowany adres z cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesZweryfikowany adres z amazon.com
- Sam OwreSRI InternationalZweryfikowany adres z sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityZweryfikowany adres z princeton.edu
- Junxing YangStony Brook UniverisityZweryfikowany adres z cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurZweryfikowany adres z cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesZweryfikowany adres z amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthZweryfikowany adres z umassd.edu
Obserwuj
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Zweryfikowany adres z csl.sri.com - Strona główna