Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 7768 | 2756 |
Índice h | 33 | 20 |
Índice i10 | 79 | 44 |
Acceso público
Ver todo30 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, 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
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
- David CockSenior Researcher, ETH ZurichDirección de correo verificada de cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdDirección de correo verificada de ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghDirección de correo verificada de anu.edu.au
- Gabriele KellerUtrecht UniversityDirección de correo verificada de uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneDirección de correo verificada de unimelb.edu.au
- Kai Engelhardtn.a.Dirección de correo verificada de acm.org
- Peter GammieANUDirección de correo verificada de anu.edu.au
- Daniel MatichukPhD Graduate, UNSWDirección de correo verificada de unswalumni.com
- Matthew FernandezIntel LabsDirección de correo verificada de intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Dirección de correo verificada de huawei.com
- Mark StaplesData61, CSIRODirección de correo verificada de data61.csiro.au
- R JefferyUNSWDirección de correo verificada de cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesDirección de correo verificada de cse.unsw.edu.au
Seguir