创建我的个人资料
开放获取的出版物数量
查看全部30 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的电子邮件经过验证
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的电子邮件经过验证
- Toby MurraySchool of Computing and Information Systems, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
- Kevin ElphinstoneUniversity of New South Wales在 cse.unsw.edu.au 的电子邮件经过验证
- Tobias NipkowProfessor of Computer Science, Technische Universität München在 in.tum.de 的电子邮件经过验证
- Michael NorrishAustralian National University在 anu.edu.au 的电子邮件经过验证
- David CockSenior Researcher, ETH Zurich在 cse.unsw.edu.au 的电子邮件经过验证
- Ihor KuzSenior OS Engineer, Kry10 Ltd在 ikuz.org 的电子邮件经过验证
- Liam O'ConnorThe Australian National University and The University of Edinburgh在 anu.edu.au 的电子邮件经过验证
- Gabriele KellerUtrecht University在 uu.nl 的电子邮件经过验证
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)在 ce.pdn.ac.lk 的电子邮件经过验证
- Christine RizkallahSenior Lecturer at the University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
- Kai Engelhardtn.a.在 acm.org 的电子邮件经过验证
- Peter GammieANU在 anu.edu.au 的电子邮件经过验证
- Daniel MatichukPhD Graduate, UNSW在 unswalumni.com 的电子邮件经过验证
- Matthew FernandezIntel Labs在 intel.com 的电子邮件经过验证
- Yutaka NagashimaHuawei Technologies R&D (UK)在 huawei.com 的电子邮件经过验证
- Mark StaplesData61, CSIRO在 data61.csiro.au 的电子邮件经过验证
- R JefferyUNSW在 cse.unsw.edu.au 的电子邮件经过验证
- David GreenawayNICTA and School of Computer Science, University of New South Wales在 cse.unsw.edu.au 的电子邮件经过验证