自分のプロフィールを作成
オープン アクセス
すべて表示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