Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 936 | 281 |
Índice h | 8 | 6 |
Índice i10 | 8 | 6 |
Acesso público
Ver tudo4 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail confirmado em unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWEmail confirmado em unswalumni.com
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesEmail confirmado em cse.unsw.edu.au
- Timothy BourkeEmail confirmado em tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail confirmado em nicta.com.au
- June AndronickCEO and co-founcer, ProofcraftEmail confirmado em proofcraft.systems
- Kai Engelhardtn.a.Email confirmado em acm.org
- Tony HoskingAustralian National UniversityEmail confirmado em anu.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail confirmado em ikuz.org