Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2325 | 1243 |
h-індекс | 22 | 18 |
i10-індекс | 43 | 27 |
Доступні для всіх
Переглянути всі25 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesПідтверджена електронна адреса в unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftПідтверджена електронна адреса в proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityПідтверджена електронна адреса в cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWПідтверджена електронна адреса в unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneПідтверджена електронна адреса в unimelb.edu.au
- Gabriele KellerUtrecht UniversityПідтверджена електронна адреса в uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghПідтверджена електронна адреса в anu.edu.au
- Zilin ChenUNSWПідтверджена електронна адреса в unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichПідтверджена електронна адреса в lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyПідтверджена електронна адреса в unsw.edu.au
- Peter GammieANUПідтверджена електронна адреса в anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Підтверджена електронна адреса в huawei.com
- R JefferyUNSWПідтверджена електронна адреса в cse.unsw.edu.au
- Mark StaplesData61, CSIROПідтверджена електронна адреса в data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneПідтверджена електронна адреса в unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Peter ChubbUNSW, SydneyПідтверджена електронна адреса в unsw.edu.au
- Timothy BourkeПідтверджена електронна адреса в tbrk.org
- Sean SeefriedResearch Engineer, NICTAПідтверджена електронна адреса в nicta.com.au
Підписатись
Toby Murray
School of Computing and Information Systems, University of Melbourne
Підтверджена електронна адреса в unimelb.edu.au - Домашня сторінка