建立我自己的個人學術檔案
公開取用
查看全部106 篇文章
2 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的電子郵件地址已通過驗證
- Randal BryantCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International在 sri.com 的電子郵件地址已通過驗證
- Wenchao LiAssistant Professor, Boston University在 bu.edu 的電子郵件地址已通過驗證
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft在 csl.sri.com 的電子郵件地址已通過驗證
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania在 seas.upenn.edu 的電子郵件地址已通過驗證
- Shuvendu LahiriSenior Principal Researcher, Microsoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Shaz QadeerSoftware Engineer, Meta在 meta.com 的電子郵件地址已通過驗證
- Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的電子郵件地址已通過驗證
- Ofer StrichmanTechnion, Haifa, Israel在 ie.technion.ac.il 的電子郵件地址已通過驗證
- Daniel HolcombAssociate Professor, University of Massachusetts在 engin.umass.edu 的電子郵件地址已通過驗證
- David WagnerProfessor of Computer Science, UC Berkeley在 cs.berkeley.edu 的電子郵件地址已通過驗證
- Orna KupfermanProfessor of Computer Science, The Hebrew University在 cs.huji.ac.il 的電子郵件地址已通過驗證
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. Anna在 sssup.it 的電子郵件地址已通過驗證
- Stephen FreundComputer Science, Williams College在 cs.williams.edu 的電子郵件地址已通過驗證
- Petros ManiatisStaff Research Scientist, Google在 google.com 的電子郵件地址已通過驗證
- Nicholas HopperProfessor of Computer Science & Engineering, University of Minnesota在 umn.edu 的電子郵件地址已通過驗證
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的電子郵件地址已通過驗證
追蹤
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
在 eecs.berkeley.edu 的電子郵件地址已通過驗證 - 首頁