Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 13855 | 1819 |
Índice h | 58 | 19 |
Índice i10 | 125 | 42 |
Acesso público
Ver tudo22 artigos
4 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Sam OwreSRI InternationalEmail confirmado em sri.com
- John RushbySRI InternationalEmail confirmado em csl.sri.com
- Harald RuessfortissEmail confirmado em fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail confirmado em csl.sri.com
- patrick lincolnSRIEmail confirmado em sri.com
- Leonardo de MouraAmazon Web ServicesEmail confirmado em amazon.com
- Wenchao LiAssistant Professor, Boston UniversityEmail confirmado em bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalEmail confirmado em csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail confirmado em eecs.berkeley.edu
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail confirmado em math.upenn.edu
- Stéphane Graham-LengrandSRI InternationalEmail confirmado em csl.sri.com
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail confirmado em univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAEmail confirmado em gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryEmail confirmado em jpl.nasa.gov
- Eli SingermanIntel Corp.Email confirmado em intel.com
- Gary T. LeavensProfessor, University of Central FloridaEmail confirmado em cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail confirmado em sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaEmail confirmado em univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityEmail confirmado em princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurEmail confirmado em cse.iitk.ac.in