Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 9092 | 3525 |
H-indeks | 48 | 27 |
i10-indeks | 126 | 74 |
Javni pristup
Prikaži sve36 članaka
2 članka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Sumit GulwaniPartner Research Manager, MicrosoftPotvrđena adresa e-pošte na microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalPotvrđena adresa e-pošte na sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryPotvrđena adresa e-pošte na csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderPotvrđena adresa e-pošte na colorado.edu
- patrick lincolnSRIPotvrđena adresa e-pošte na sri.com
- Adrià GascónGoogle ResearchPotvrđena adresa e-pošte na google.com
- Harald RuessfortissPotvrđena adresa e-pošte na fortiss.org
- Radu GrosuProfessor of Computer SciencePotvrđena adresa e-pošte na tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityPotvrđena adresa e-pošte na cs.sunysb.edu
- John RushbySRI InternationalPotvrđena adresa e-pošte na csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityPotvrđena adresa e-pošte na cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Sam OwreSRI InternationalPotvrđena adresa e-pošte na sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityPotvrđena adresa e-pošte na princeton.edu
- Junxing YangStony Brook UniverisityPotvrđena adresa e-pošte na cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPotvrđena adresa e-pošte na cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurPotvrđena adresa e-pošte na cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthPotvrđena adresa e-pošte na umassd.edu
Prati
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Potvrđena adresa e-pošte na csl.sri.com - Početna stranica