创建我的个人资料
开放获取的出版物数量
查看全部10 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Toby MurraySchool of Computing and Information Systems, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
- Liam O'ConnorThe Australian National University and The University of Edinburgh在 anu.edu.au 的电子邮件经过验证
- Zilin ChenUNSW在 unswalumni.com 的电子邮件经过验证
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的电子邮件经过验证
- Gabriele KellerUtrecht University在 uu.nl 的电子邮件经过验证
- Yutaka NagashimaHuawei Technologies R&D (UK)在 huawei.com 的电子邮件经过验证
- Joachim BreitnerLean FRO在 joachim-breitner.de 的电子邮件经过验证
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
- Kurt MehlhornProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus在 mpi-inf.mpg.de 的电子邮件经过验证
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的电子邮件经过验证
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydney在 unsw.edu.au 的电子邮件经过验证
- Peter ChubbUNSW, Sydney在 unsw.edu.au 的电子邮件经过验证
- Eyad Alkassar在 wjpserver.cs.uni-saarland.de 的电子邮件经过验证
- Yao LiPortland State University在 pdx.edu 的电子邮件经过验证
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的电子邮件经过验证
- Haris AzizUNSW Sydney - Scientia Associate Professor在 unsw.edu.au 的电子邮件经过验证
- Carroll MorganProfessor, University of New South Wales and DATA61在 unsw.edu.au 的电子邮件经过验证
- Daniel MatichukPhD Graduate, UNSW在 unswalumni.com 的电子邮件经过验证
- Lars NoschinskiTechnische Universität München在 in.tum.de 的电子邮件经过验证
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证