Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2329 | 1247 |
h-index | 22 | 18 |
i10-indeks | 43 | 27 |
Offentlig adgang
Se alle25 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerificeret mail på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityVerificeret mail på cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWVerificeret mail på unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneVerificeret mail på unimelb.edu.au
- Gabriele KellerUtrecht UniversityVerificeret mail på uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghVerificeret mail på anu.edu.au
- Zilin ChenUNSWVerificeret mail på unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerificeret mail på lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerificeret mail på unsw.edu.au
- Peter GammieANUVerificeret mail på anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Verificeret mail på huawei.com
- R JefferyUNSWVerificeret mail på cse.unsw.edu.au
- Mark StaplesData61, CSIROVerificeret mail på data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerificeret mail på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerificeret mail på cse.unsw.edu.au
- Peter ChubbUNSW, SydneyVerificeret mail på unsw.edu.au
- Timothy BourkeVerificeret mail på tbrk.org
- Sean SeefriedResearch Engineer, NICTAVerificeret mail på nicta.com.au
Følg
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verificeret mail på unimelb.edu.au - Startside