Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 13864 | 1829 |
h-index | 58 | 20 |
i10-indeks | 125 | 42 |
Offentlig adgang
Se alle22 artikler
4 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Sam OwreSRI InternationalVerificeret mail på sri.com
- John RushbySRI InternationalVerificeret mail på csl.sri.com
- Harald RuessfortissVerificeret mail på fortiss.org
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerificeret mail på csl.sri.com
- patrick lincolnSRIVerificeret mail på sri.com
- Leonardo de MouraAmazon Web ServicesVerificeret mail på amazon.com
- Wenchao LiAssistant Professor, Boston UniversityVerificeret mail på bu.edu
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerificeret mail på csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerificeret mail på eecs.berkeley.edu
- Stéphane Graham-LengrandSRI InternationalVerificeret mail på csl.sri.com
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerificeret mail på math.upenn.edu
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerificeret mail på univ-grenoble-alpes.fr
- Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerificeret mail på gatech.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerificeret mail på jpl.nasa.gov
- Eli SingermanIntel Corp.Verificeret mail på intel.com
- Gary T. LeavensProfessor, University of Central FloridaVerificeret mail på cs.ucf.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerificeret mail på sri.com
- Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerificeret mail på univr.it
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerificeret mail på princeton.edu
- Pramod SubramanyanIndian Institute of Technology KanpurVerificeret mail på cse.iitk.ac.in