Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 2325 | 1243 |
indeks-h | 22 | 18 |
indeks-i10 | 43 | 27 |
Akses publik
Lihat semua25 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Gerwin KleinProofcraft and UNSWEmail yang diverifikasi di unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail yang diverifikasi di unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail yang diverifikasi di proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityEmail yang diverifikasi di cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWEmail yang diverifikasi di unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail yang diverifikasi di unimelb.edu.au
- Gabriele KellerUtrecht UniversityEmail yang diverifikasi di uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail yang diverifikasi di anu.edu.au
- Zilin ChenUNSWEmail yang diverifikasi di unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichEmail yang diverifikasi di lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyEmail yang diverifikasi di unsw.edu.au
- Peter GammieANUEmail yang diverifikasi di anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Email yang diverifikasi di huawei.com
- R JefferyUNSWEmail yang diverifikasi di cse.unsw.edu.au
- Mark StaplesData61, CSIROEmail yang diverifikasi di data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneEmail yang diverifikasi di unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail yang diverifikasi di cse.unsw.edu.au
- Peter ChubbUNSW, SydneyEmail yang diverifikasi di unsw.edu.au
- Timothy BourkeEmail yang diverifikasi di tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail yang diverifikasi di nicta.com.au
Ikuti
Toby Murray
School of Computing and Information Systems, University of Melbourne
Email yang diverifikasi di unimelb.edu.au - Beranda