Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 936 | 281 |
Índice h | 8 | 6 |
Índice i10 | 8 | 6 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWDirección de correo verificada de unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Timothy BourkeDirección de correo verificada de tbrk.org
- Sean SeefriedResearch Engineer, NICTADirección de correo verificada de nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- Kai Engelhardtn.a.Dirección de correo verificada de acm.org
- Tony HoskingAustralian National UniversityDirección de correo verificada de anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdDirección de correo verificada de ikuz.org