Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 6051 | 2464 |
Índice h | 26 | 18 |
Índice i10 | 51 | 28 |
Acesso público
Ver tudo31 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Ramana KumarDeepMindEmail confirmado em cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyEmail confirmado em cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeEmail confirmado em cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichEmail confirmado em cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail confirmado em unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail confirmado em proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesEmail confirmado em cse.unsw.edu.au
- Kai Engelhardtn.a.Email confirmado em acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email confirmado em ce.pdn.ac.lk
- Scott OwensUniversity of KentEmail confirmado em kent.ac.uk
- Tony HoskingAustralian National UniversityEmail confirmado em anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeEmail confirmado em cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityEmail confirmado em anu.edu.au
- Mohammad AbdulazizKing's College LondonEmail confirmado em kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityEmail confirmado em google.com
- Tom RidgeIndependentEmail confirmado em tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityEmail confirmado em anu.edu.au
- Hendra GunadiThe Australian National UniversityEmail confirmado em anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk