Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 937 | 282 |
h-indeks | 8 | 6 |
i10-indeks | 8 | 6 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWZweryfikowany adres z unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Timothy BourkeZweryfikowany adres z tbrk.org
- Sean SeefriedResearch Engineer, NICTAZweryfikowany adres z nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Tony HoskingAustralian National UniversityZweryfikowany adres z anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdZweryfikowany adres z ikuz.org