建立我自己的個人學術檔案
公開取用
查看全部8 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Dan GrossmanComputer Science, University of Washington在 cs.washington.edu 的電子郵件地址已通過驗證
- Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的電子郵件地址已通過驗證
- Karl CraryCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- David WalkerPrinceton University在 cs.princeton.edu 的電子郵件地址已通過驗證
- Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- Fred SchneiderCS Dept, Cornell University在 cs.cornell.edu 的電子郵件地址已通過驗證
- Gang TanProfessor of computer science and engineering, Penn State University在 cse.psu.edu 的電子郵件地址已通過驗證
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Amal AhmedNortheastern University在 ccs.neu.edu 的電子郵件地址已通過驗證
- Gregory MalechaBedRock Systems, Inc在 bedrocksystems.com 的電子郵件地址已通過驗證
- Matthew FluetRochester Institute of Technology在 cs.rit.edu 的電子郵件地址已通過驗證
- Matt WelshGoogle在 mdw.la 的電子郵件地址已通過驗證
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel University在 drexel.edu 的電子郵件地址已通過驗證
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning Group在 bc.edu 的電子郵件地址已通過驗證
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Ryan WisneskyConexus AI在 wisnesky.net 的電子郵件地址已通過驗證
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas at在 utdallas.edu 的電子郵件地址已通過驗證
- Ryan NewtonMIT, Indiana University, Facebook在 indiana.edu 的電子郵件地址已通過驗證
- Stephen McCamantAssociate Professor, University of Minnesota在 cs.umn.edu 的電子郵件地址已通過驗證