Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 9022 | 3461 |
h-indeks | 48 | 27 |
i10-indeks | 126 | 74 |
Offentlig tilgang
Vis alle36 artikler
2 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Sumit GulwaniPartner Research Manager, MicrosoftVerifisert e-postadresse på microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerifisert e-postadresse på sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryVerifisert e-postadresse på csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifisert e-postadresse på eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerifisert e-postadresse på colorado.edu
- patrick lincolnSRIVerifisert e-postadresse på sri.com
- Adrià GascónGoogle ResearchVerifisert e-postadresse på google.com
- Harald RuessfortissVerifisert e-postadresse på fortiss.org
- Radu GrosuProfessor of Computer ScienceVerifisert e-postadresse på tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerifisert e-postadresse på cs.sunysb.edu
- John RushbySRI InternationalVerifisert e-postadresse på csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerifisert e-postadresse på cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Sam OwreSRI InternationalVerifisert e-postadresse på sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerifisert e-postadresse på princeton.edu
- Junxing YangStony Brook UniverisityVerifisert e-postadresse på cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifisert e-postadresse på cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurVerifisert e-postadresse på cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerifisert e-postadresse på umassd.edu
Følg
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Verifisert e-postadresse på csl.sri.com - Startside