创建我的个人资料
开放获取的出版物数量
查看全部5 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的电子邮件经过验证
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的电子邮件经过验证
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)在 ce.pdn.ac.lk 的电子邮件经过验证
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的电子邮件经过验证
- David CockSenior Researcher, ETH Zurich在 cse.unsw.edu.au 的电子邮件经过验证
- Trent JaegerProfessor of Computer Science and Engineering, UC Riverside在 ucr.edu 的电子邮件经过验证
- Kai Engelhardtn.a.在 acm.org 的电子邮件经过验证
- Michael NorrishAustralian National University在 anu.edu.au 的电子邮件经过验证
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugal在 isep.ipp.pt 的电子邮件经过验证
- Timothy RoscoeProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
- Peter ChubbUNSW, Sydney在 unsw.edu.au 的电子邮件经过验证
- Toby MurraySchool of Computing and Information Systems, University of Melbourne在 unimelb.edu.au 的电子邮件经过验证
- Ihor KuzSenior OS Engineer, Kry10 Ltd在 ikuz.org 的电子邮件经过验证
- Alain GefflautEngineering Manager Google Cloud在 google.com 的电子邮件经过验证
- Hermann HärtigProfessor Computer Science, Technische Universität Dresden在 tu-dresden.de 的电子邮件经过验证
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, Switzerland在 inf.ethz.ch 的电子邮件经过验证
- David GreenawayNICTA and School of Computer Science, University of New South Wales在 cse.unsw.edu.au 的电子邮件经过验证
- Andreas HaeberlenUniversity of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
- Manuel M T ChakravartyTweag I/O & IOHK在 justtesting.org 的电子邮件经过验证
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg在 uni.lu 的电子邮件经过验证