Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 23629 | 13565 |
h-indeks | 73 | 56 |
i10-indeks | 197 | 146 |
Dostęp publiczny
Wyświetl wszystko106 artykułów
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalZweryfikowany adres z sri.com
- Wenchao LiAssistant Professor, Boston UniversityZweryfikowany adres z bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftZweryfikowany adres z csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaZweryfikowany adres z seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchZweryfikowany adres z microsoft.com
- Shaz QadeerSoftware Engineer, MetaZweryfikowany adres z meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryZweryfikowany adres z csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelZweryfikowany adres z ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsZweryfikowany adres z engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyZweryfikowany adres z cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityZweryfikowany adres z cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaZweryfikowany adres z sssup.it
- Stephen FreundComputer Science, Williams CollegeZweryfikowany adres z cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleZweryfikowany adres z google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaZweryfikowany adres z umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu
Obserwuj
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Zweryfikowany adres z eecs.berkeley.edu - Strona główna