Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3642 | 1120 |
Índice h | 10 | 5 |
Índice i10 | 10 | 4 |
Acceso público
Ver todo1 artículo
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- 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
- Yoram MosesTechnionDirección de correo verificada de ee.technion.ac.il
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
- Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- David CockSenior Researcher, ETH ZurichDirección de correo verificada de cse.unsw.edu.au
- Peter GammieANUDirección de correo verificada de anu.edu.au
- Kaile SuIIIS, Griffith UniversityDirección de correo verificada de griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyDirección de correo verificada de unsw.edu.au
- Tony HoskingAustralian National UniversityDirección de correo verificada de anu.edu.au
- Chenyi ZhangOracle Labs AustraliaDirección de correo verificada de oracle.com
- Ralf HuuckNICTA, UNSWDirección de correo verificada de cse.unsw.edu.au