自分のプロフィールを作成
オープン アクセス
すべて表示31 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ramana KumarDeepMind確認したメール アドレス: cl.cam.ac.uk
- Magnus MyreenChalmers University of Technology確認したメール アドレス: cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSW確認したメール アドレス: unsw.edu.au
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- David CockSenior Researcher, ETH Zurich確認したメール アドレス: cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South Wales確認したメール アドレス: unsw.edu.au
- June AndronickCEO and co-founcer, Proofcraft確認したメール アドレス: proofcraft.systems
- Kevin ElphinstoneUniversity of New South Wales確認したメール アドレス: cse.unsw.edu.au
- Kai Engelhardtn.a.確認したメール アドレス: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)確認したメール アドレス: ce.pdn.ac.lk
- Scott OwensUniversity of Kent確認したメール アドレス: kent.ac.uk
- Tony HoskingAustralian National University確認したメール アドレス: anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, Singapore確認したメール アドレス: cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National University確認したメール アドレス: anu.edu.au
- Mohammad AbdulazizKing's College London確認したメール アドレス: kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National University確認したメール アドレス: google.com
- Tom RidgeIndependent確認したメール アドレス: tom-ridge.com
- Adrian HerreraPhD student, Australian National University確認したメール アドレス: anu.edu.au
- Hendra GunadiThe Australian National University確認したメール アドレス: anu.edu.au
- Tom MelhamProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk