Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 9138 | 3572 |
h-index | 48 | 27 |
i10-index | 127 | 77 |
Nyilvános hozzáférés
Összes megtekintése36 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Sumit GulwaniPartner Research Manager, MicrosoftE-mail megerősítve itt: microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mail megerősítve itt: sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail megerősítve itt: csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail megerősítve itt: eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mail megerősítve itt: colorado.edu
- patrick lincolnSRIE-mail megerősítve itt: sri.com
- Adrià GascónGoogle ResearchE-mail megerősítve itt: google.com
- Harald RuessfortissE-mail megerősítve itt: fortiss.org
- Radu GrosuProfessor of Computer ScienceE-mail megerősítve itt: tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityE-mail megerősítve itt: cs.sunysb.edu
- John RushbySRI InternationalE-mail megerősítve itt: csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityE-mail megerősítve itt: cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Sam OwreSRI InternationalE-mail megerősítve itt: sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityE-mail megerősítve itt: princeton.edu
- Junxing YangStony Brook UniverisityE-mail megerősítve itt: cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail megerősítve itt: cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurE-mail megerősítve itt: cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesE-mail megerősítve itt: amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthE-mail megerősítve itt: umassd.edu
Követés
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
E-mail megerősítve itt: csl.sri.com - Kezdőlap