Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2323 | 1241 |
Índice h | 22 | 18 |
Índice i10 | 43 | 27 |
Acceso público
Ver todo25 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- 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
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityDirección de correo verificada de cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWDirección de correo verificada de unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneDirección de correo verificada de unimelb.edu.au
- Gabriele KellerUtrecht UniversityDirección de correo verificada de uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghDirección de correo verificada de anu.edu.au
- Zilin ChenUNSWDirección de correo verificada de unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichDirección de correo verificada de lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyDirección de correo verificada de unsw.edu.au
- Peter GammieANUDirección de correo verificada de anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Dirección de correo verificada de huawei.com
- R JefferyUNSWDirección de correo verificada de cse.unsw.edu.au
- Mark StaplesData61, CSIRODirección de correo verificada de data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneDirección de correo verificada de unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Peter ChubbUNSW, SydneyDirección de correo verificada de unsw.edu.au
- Timothy BourkeDirección de correo verificada de tbrk.org
- Sean SeefriedResearch Engineer, NICTADirección de correo verificada de nicta.com.au
Seguir
Toby Murray
School of Computing and Information Systems, University of Melbourne
Dirección de correo verificada de unimelb.edu.au - Página principal