Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3911 | 2605 |
indice h | 29 | 25 |
indice i10 | 58 | 44 |
Accès public
Tout afficher36 articles
2 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse e-mail validée de csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioAdresse e-mail validée de sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftAdresse e-mail validée de microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderAdresse e-mail validée de colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinAdresse e-mail validée de cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityAdresse e-mail validée de bu.edu
- Vasumathi RamanAdresse e-mail validée de cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideAdresse e-mail validée de ucr.edu
Suivre
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Adresse e-mail validée de sri.com - Page d'accueil