Utwórz swój profil
Cytowane przez
Wszystkie | Od 2020 | |
---|---|---|
Cytowania | 25511 | 13371 |
h-indeks | 73 | 53 |
i10-indeks | 206 | 149 |
Dostęp publiczny
Wyświetl wszystko115 artykułów
4 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 LiAssociate 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 QadeerMicrosoftZweryfikowany adres z microsoft.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