Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 9113 | 3547 |
h-rodyklė | 48 | 27 |
i10-rodyklė | 126 | 76 |
Viešas pasiekiamumas
Peržiūrėti viską36 straipsniai
2 straipsniai
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Sumit GulwaniPartner Research Manager, MicrosoftPatvirtintas el. paštas microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalPatvirtintas el. paštas sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryPatvirtintas el. paštas csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPatvirtintas el. paštas eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderPatvirtintas el. paštas colorado.edu
- patrick lincolnSRIPatvirtintas el. paštas sri.com
- Adrià GascónGoogle ResearchPatvirtintas el. paštas google.com
- Harald RuessfortissPatvirtintas el. paštas fortiss.org
- Radu GrosuProfessor of Computer SciencePatvirtintas el. paštas tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityPatvirtintas el. paštas cs.sunysb.edu
- John RushbySRI InternationalPatvirtintas el. paštas csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityPatvirtintas el. paštas cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesPatvirtintas el. paštas amazon.com
- Sam OwreSRI InternationalPatvirtintas el. paštas sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityPatvirtintas el. paštas princeton.edu
- Junxing YangStony Brook UniverisityPatvirtintas el. paštas cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPatvirtintas el. paštas cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurPatvirtintas el. paštas cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesPatvirtintas el. paštas amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthPatvirtintas el. paštas umassd.edu
Stebėti
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Patvirtintas el. paštas csl.sri.com - Pagrindinis puslapis