Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 6047 | 2461 |
Índice h | 26 | 18 |
Índice i10 | 51 | 28 |
Acceso público
Ver todo31 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Ramana KumarDeepMindDirección de correo verificada de cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyDirección de correo verificada de cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
- David CockSenior Researcher, ETH ZurichDirección de correo verificada de cse.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
- Scott OwensUniversity of KentDirección de correo verificada de kent.ac.uk
- Tony HoskingAustralian National UniversityDirección de correo verificada de anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeDirección de correo verificada de cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityDirección de correo verificada de anu.edu.au
- Kevin ElphinstoneUniversity of New South WalesDirección de correo verificada de cse.unsw.edu.au
- Kai Engelhardtn.a.Dirección de correo verificada de acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
- Mohammad AbdulazizKing's College LondonDirección de correo verificada de kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityDirección de correo verificada de google.com
- Tom RidgeIndependentDirección de correo verificada de tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityDirección de correo verificada de anu.edu.au
- Hendra GunadiThe Australian National UniversityDirección de correo verificada de anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk