Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 939 | 284 |
indice h | 8 | 6 |
indice i10 | 8 | 6 |
Accès public
Tout afficher4 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWAdresse e-mail validée de unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Timothy BourkeAdresse e-mail validée de tbrk.org
- Sean SeefriedResearch Engineer, NICTAAdresse e-mail validée de nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- Kai Engelhardtn.a.Adresse e-mail validée de acm.org
- Tony HoskingAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresse e-mail validée de ikuz.org