建立我自己的個人學術檔案
公開取用
查看全部31 篇文章
3 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Marsha ChechikProfessor of Computer Science, University of Toronto在 cs.toronto.edu 的電子郵件地址已通過驗證
- Jorge A NavasCertora在 certora.com 的電子郵件地址已通過驗證
- Yakir VizelTechnion在 cs.technion.ac.il 的電子郵件地址已通過驗證
- Aws AlbarghouthiUniversity of Wisconsin–Madison在 cs.wisc.edu 的電子郵件地址已通過驗證
- Temesghen KahsaiPrincipal Applied Scientist @ Amazon在 amazon.com 的電子郵件地址已通過驗證
- Nikolaj BjornerMicrosoft Research在 cs.stanford.edu 的電子郵件地址已通過驗證
- Anvesh KomuravelliCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Sharon ShohamTel Aviv University在 tauex.tau.ac.il 的電子郵件地址已通過驗證
- Ofer StrichmanTechnion, Haifa, Israel在 ie.technion.ac.il 的電子郵件地址已通過驗證
- Grigory FedyukovichFlorida State University在 cs.fsu.edu 的電子郵件地址已通過驗證
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland在 usi.ch 的電子郵件地址已通過驗證
- Steve EasterbrookProfessor of Computer Science, University of Toronto在 cs.toronto.edu 的電子郵件地址已通過驗證
- Yi LiNanyang Technological University在 ntu.edu.sg 的電子郵件地址已通過驗證
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Jocelyn SimmondsAssociate Professor, Computer Science Department, University of Chile在 dcc.uchile.cl 的電子郵件地址已通過驗證
- Jessica DaviesEpidemiologist在 roche.com 的電子郵件地址已通過驗證
- Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Anton BelovSynopsys Inc.在 belov-mcdowell.com 的電子郵件地址已通過驗證
- Zachary KincaidPrinceton University在 cs.princeton.edu 的電子郵件地址已通過驗證
- Ipek OzkayaCarnegie Mellon University Software Engineering Institute在 sei.cmu.edu 的電子郵件地址已通過驗證