建立我自己的個人學術檔案
公開取用
查看全部25 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的電子郵件地址已通過驗證
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的電子郵件地址已通過驗證
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的電子郵件地址已通過驗證
- Thomas SewellSenior Research Associate, Cambridge University在 cam.ac.uk 的電子郵件地址已通過驗證
- Daniel MatichukPhD Graduate, UNSW在 unswalumni.com 的電子郵件地址已通過驗證
- Christine RizkallahSenior Lecturer at the University of Melbourne在 unimelb.edu.au 的電子郵件地址已通過驗證
- Gabriele KellerUtrecht University在 uu.nl 的電子郵件地址已通過驗證
- Liam O'ConnorThe Australian National University and The University of Edinburgh在 anu.edu.au 的電子郵件地址已通過驗證
- Zilin ChenUNSW在 unswalumni.com 的電子郵件地址已通過驗證
- Gidon ErnstSoftware and Computational Systems Lab, LMU Munich在 lmu.de 的電子郵件地址已通過驗證
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydney在 unsw.edu.au 的電子郵件地址已通過驗證
- Peter GammieANU在 anu.edu.au 的電子郵件地址已通過驗證
- Yutaka NagashimaHuawei Technologies R&D (UK)在 huawei.com 的電子郵件地址已通過驗證
- R JefferyUNSW在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Mark StaplesData61, CSIRO在 data61.csiro.au 的電子郵件地址已通過驗證
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of Melbourne在 unimelb.edu.au 的電子郵件地址已通過驗證
- Kevin ElphinstoneUniversity of New South Wales在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Peter ChubbUNSW, Sydney在 unsw.edu.au 的電子郵件地址已通過驗證
- Timothy Bourke在 tbrk.org 的電子郵件地址已通過驗證
- Sean SeefriedResearch Engineer, NICTA在 nicta.com.au 的電子郵件地址已通過驗證
追蹤
Toby Murray
School of Computing and Information Systems, University of Melbourne
在 unimelb.edu.au 的電子郵件地址已通過驗證 - 首頁