Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 939 | 284 |
Índice h | 8 | 6 |
Índice i10 | 8 | 6 |
Acesso público
Ver todos4 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mail confirmado em unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesE-mail confirmado em cse.unsw.edu.au
- Timothy BourkeE-mail confirmado em tbrk.org
- Sean SeefriedResearch Engineer, NICTAE-mail confirmado em nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Kai Engelhardtn.a.E-mail confirmado em acm.org
- Tony HoskingAustralian National UniversityE-mail confirmado em anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mail confirmado em ikuz.org