建立我自己的個人學術檔案
公開取用
查看全部31 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Ramana KumarDeepMind在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Magnus MyreenChalmers University of Technology在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的電子郵件地址已通過驗證
- Peter SewellComputer Laboratory, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- David CockSenior Researcher, ETH Zurich在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的電子郵件地址已通過驗證
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的電子郵件地址已通過驗證
- Kevin ElphinstoneUniversity of New South Wales在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Kai Engelhardtn.a.在 acm.org 的電子郵件地址已通過驗證
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)在 ce.pdn.ac.lk 的電子郵件地址已通過驗證
- Scott OwensUniversity of Kent在 kent.ac.uk 的電子郵件地址已通過驗證
- Tony HoskingAustralian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Yong Kiam TanInstitute for Infocomm Research, Singapore在 cs.cmu.edu 的電子郵件地址已通過驗證
- Charles Gretton, FIEAustThe Australian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National University在 google.com 的電子郵件地址已通過驗證
- Tom RidgeIndependent在 tom-ridge.com 的電子郵件地址已通過驗證
- Adrian HerreraPhD student, Australian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Hendra GunadiThe Australian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Louise DennisDepartment of Computer Science, University of Manchester在 manchester.ac.uk 的電子郵件地址已通過驗證