Crear mi propio perfil
Citado por
Total | Desde 2020 | |
---|---|---|
Citas | 14200 | 1747 |
Índice h | 58 | 19 |
Índice i10 | 126 | 36 |
Acceso público
Ver todo24 artículos
5 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Sam OwreSRI InternationalDirección de correo verificada de sri.com
John RushbySRI InternationalDirección de correo verificada de csl.sri.com
Harald RuessfortissDirección de correo verificada de fortiss.org
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftDirección de correo verificada de csl.sri.com
patrick lincolnSRIDirección de correo verificada de sri.com
Leonardo de MouraAmazon Web ServicesDirección de correo verificada de amazon.com
Wenchao LiAssociate Professor, Boston UniversityDirección de correo verificada de bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalDirección de correo verificada de csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalDirección de correo verificada de csl.sri.com
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USADirección de correo verificada de gatech.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalDirección de correo verificada de sri.com
Eli SingermanIntel Corp.Dirección de correo verificada de intel.com
Gary T. LeavensProfessor, University of Central FloridaDirección de correo verificada de cs.ucf.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaDirección de correo verificada de univr.it
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityDirección de correo verificada de princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurDirección de correo verificada de cse.iitk.ac.in
Seguir
Natarajan Shankar
SRI International Computer Science Laboratory
Dirección de correo verificada de csl.sri.com