Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 6059 | 2472 |
Índice h | 26 | 18 |
Índice i10 | 51 | 28 |
Acesso público
Ver todos31 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Ramana KumarDeepMindE-mail confirmado em cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyE-mail confirmado em cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeE-mail confirmado em cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichE-mail confirmado em cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
- Kai Engelhardtn.a.E-mail confirmado em acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail confirmado em ce.pdn.ac.lk
- Scott OwensUniversity of KentE-mail confirmado em kent.ac.uk
- Tony HoskingAustralian National UniversityE-mail confirmado em anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeE-mail confirmado em cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityE-mail confirmado em anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityE-mail confirmado em google.com
- Tom RidgeIndependentE-mail confirmado em tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityE-mail confirmado em anu.edu.au
- Hendra GunadiThe Australian National UniversityE-mail confirmado em anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk