Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 14199 | 1746 |
indice h | 58 | 19 |
indice i10 | 126 | 36 |
Accès public
Tout afficher24 articles
5 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Sam OwreSRI InternationalAdresse e-mail validée de sri.com
John RushbySRI InternationalAdresse e-mail validée de csl.sri.com
Harald RuessfortissAdresse e-mail validée de fortiss.org
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse e-mail validée de csl.sri.com
patrick lincolnSRIAdresse e-mail validée de sri.com
Leonardo de MouraAmazon Web ServicesAdresse e-mail validée de amazon.com
Wenchao LiAssociate Professor, Boston UniversityAdresse e-mail validée de bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalAdresse 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
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalAdresse e-mail validée de csl.sri.com
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGAdresse e-mail validée de univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAAdresse e-mail validée de gatech.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresse e-mail validée de sri.com
Eli SingermanIntel Corp.Adresse e-mail validée de intel.com
Gary T. LeavensProfessor, University of Central FloridaAdresse e-mail validée de cs.ucf.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaAdresse e-mail validée de univr.it
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityAdresse e-mail validée de princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurAdresse e-mail validée de cse.iitk.ac.in
Suivre
Natarajan Shankar
SRI International Computer Science Laboratory
Adresse e-mail validée de csl.sri.com