Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 23629 | 13565 |
h-index | 73 | 56 |
i10-index | 197 | 146 |
Nyilvános hozzáférés
Összes megtekintése106 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyE-mail megerősítve itt: eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mail megerősítve itt: sri.com
- Wenchao LiAssistant Professor, Boston UniversityE-mail megerősítve itt: bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mail megerősítve itt: csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaE-mail megerősítve itt: seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchE-mail megerősítve itt: microsoft.com
- Shaz QadeerSoftware Engineer, MetaE-mail megerősítve itt: meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryE-mail megerősítve itt: csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelE-mail megerősítve itt: ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsE-mail megerősítve itt: engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyE-mail megerősítve itt: cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mail megerősítve itt: cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaE-mail megerősítve itt: sssup.it
- Stephen FreundComputer Science, Williams CollegeE-mail megerősítve itt: cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleE-mail megerősítve itt: google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaE-mail megerősítve itt: umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail megerősítve itt: illinois.edu
Követés
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
E-mail megerősítve itt: eecs.berkeley.edu - Kezdőlap