Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 3662 | 1137 |
Índice h | 10 | 5 |
Índice i10 | 10 | 4 |
Acesso público
Ver todos1 artigo
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
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
- Michael NorrishAustralian National UniversityE-mail confirmado em anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail confirmado em ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- David CockSenior Researcher, ETH ZurichE-mail confirmado em cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesE-mail confirmado em cse.unsw.edu.au
- Yoram MosesTechnionE-mail confirmado em ee.technion.ac.il
- Peter GammieANUE-mail confirmado em anu.edu.au
- Kaile SuIIIS, Griffith UniversityE-mail confirmado em griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyE-mail confirmado em unsw.edu.au
- Tony HoskingAustralian National UniversityE-mail confirmado em anu.edu.au
- Chenyi ZhangOracle Labs AustraliaE-mail confirmado em oracle.com
- Ralf HuuckNICTA, UNSWE-mail confirmado em cse.unsw.edu.au