Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 23639 | 13575 |
h-index | 73 | 56 |
i10-indeks | 197 | 146 |
Offentlig adgang
Se alle106 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerificeret mail på eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerificeret mail på sri.com
- Wenchao LiAssistant Professor, Boston UniversityVerificeret mail på bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerificeret mail på csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerificeret mail på seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerificeret mail på microsoft.com
- Shaz QadeerSoftware Engineer, MetaVerificeret mail på meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryVerificeret mail på csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelVerificeret mail på ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsVerificeret mail på engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyVerificeret mail på cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerificeret mail på cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerificeret mail på sssup.it
- Stephen FreundComputer Science, Williams CollegeVerificeret mail på cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleVerificeret mail på google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaVerificeret mail på umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerificeret mail på illinois.edu
Følg
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Verificeret mail på eecs.berkeley.edu - Startside