Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 13859 | 1822 |
indice h | 58 | 19 |
indice i10 | 125 | 42 |
Accès public
Tout afficher22 articles
4 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 LiAssistant 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
- 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
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
- 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
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresse e-mail validée de sri.com
- 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