Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 9113 | 3547 |
h-index | 48 | 27 |
i10-indeks | 126 | 76 |
Offentlig adgang
Se alle36 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Sumit GulwaniPartner Research Manager, MicrosoftVerificeret mail på microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerificeret mail på sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryVerificeret mail på csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerificeret mail på eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerificeret mail på colorado.edu
- patrick lincolnSRIVerificeret mail på sri.com
- Adrià GascónGoogle ResearchVerificeret mail på google.com
- Harald RuessfortissVerificeret mail på fortiss.org
- Radu GrosuProfessor of Computer ScienceVerificeret mail på tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerificeret mail på cs.sunysb.edu
- John RushbySRI InternationalVerificeret mail på csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerificeret mail på cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesVerificeret mail på amazon.com
- Sam OwreSRI InternationalVerificeret mail på sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerificeret mail på princeton.edu
- Junxing YangStony Brook UniverisityVerificeret mail på cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurVerificeret mail på cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesVerificeret mail på amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerificeret mail på umassd.edu
Følg
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Verificeret mail på csl.sri.com - Startside