Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 940 | 285 |
h-індекс | 8 | 6 |
i10-індекс | 8 | 6 |
Доступні для всіх
Переглянути всі4 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПідтверджена електронна адреса в unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWПідтверджена електронна адреса в unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Timothy BourkeПідтверджена електронна адреса в tbrk.org
- Sean SeefriedResearch Engineer, NICTAПідтверджена електронна адреса в nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftПідтверджена електронна адреса в proofcraft.systems
- Kai Engelhardtn.a.Підтверджена електронна адреса в acm.org
- Tony HoskingAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdПідтверджена електронна адреса в ikuz.org