Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 4676 | 3011 |
indice h | 33 | 28 |
indice i10 | 68 | 52 |
Accès public
Tout afficher48 articles
7 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 JhaFlorida International University, MiamiAdresse e-mail validée de sumitkumarjha.com
Sumit GulwaniDistinguished Scientist, 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 LiAssociate 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