Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 9103 | 3535 |
indice h | 48 | 27 |
indice i10 | 126 | 76 |
Accès public
Tout afficher36 articles
2 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Sumit GulwaniPartner Research Manager, 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
- patrick lincolnSRIAdresse e-mail validée de sri.com
- Adrià GascónGoogle ResearchAdresse e-mail validée de google.com
- Harald RuessfortissAdresse e-mail validée de fortiss.org
- 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
- 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