创建我的个人资料
开放获取的出版物数量
查看全部108 篇文章
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 的电子邮件经过验证 - 首页