Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 9806 | 3654 |
indice h | 48 | 29 |
indice i10 | 133 | 70 |
Accès public
Tout afficher37 articles
2 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Sumit GulwaniDistinguished Scientist, MicrosoftAdresse e-mail validée de microsoft.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresse e-mail validée de sri.com
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderAdresse e-mail validée de colorado.edu
Adrià GascónGoogle ResearchAdresse e-mail validée de google.com
patrick lincolnSRIAdresse e-mail validée de sri.com
Radu GrosuProfessor of Computer ScienceAdresse e-mail validée de tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityAdresse e-mail validée de cs.sunysb.edu
Harald RuessfortissAdresse e-mail validée de fortiss.org
John RushbySRI InternationalAdresse e-mail validée de csl.sri.com
Leo BachmairProfessor of Computer Science, Stony Brook UniversityAdresse e-mail validée de cs.stonybrook.edu
Bruno DutertreAmazon Web ServicesAdresse e-mail validée de amazon.com
Sam OwreSRI InternationalAdresse e-mail validée de sri.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityAdresse e-mail validée de princeton.edu
Junxing YangStony Brook UniverisityAdresse e-mail validée de cs.stonybrook.edu
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresse e-mail validée de cs.ox.ac.uk
Pramod SubramanyanIndian Institute of Technology KanpurAdresse e-mail validée de cse.iitk.ac.in
Leonardo de MouraAmazon Web ServicesAdresse e-mail validée de amazon.com
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthAdresse e-mail validée de umassd.edu
Suivre

Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Adresse e-mail validée de csl.sri.com - Page d'accueil