Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 6088 | 2500 |
h-індекс | 26 | 18 |
i10-індекс | 51 | 29 |
Доступні для всіх
Переглянути всі30 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Ramana KumarDeepMindПідтверджена електронна адреса в cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyПідтверджена електронна адреса в cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichПідтверджена електронна адреса в cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesПідтверджена електронна адреса в unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftПідтверджена електронна адреса в proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Kai Engelhardtn.a.Підтверджена електронна адреса в acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Підтверджена електронна адреса в ce.pdn.ac.lk
- Scott OwensUniversity of KentПідтверджена електронна адреса в kent.ac.uk
- Tony HoskingAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeПідтверджена електронна адреса в cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityПідтверджена електронна адреса в anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityПідтверджена електронна адреса в google.com
- Tom RidgeIndependentПідтверджена електронна адреса в tom-ridge.com
- Adrian HerreraResearcher, Interrupt LabsПідтверджена електронна адреса в anu.edu.au
- Hendra GunadiThe Australian National UniversityПідтверджена електронна адреса в anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterПідтверджена електронна адреса в manchester.ac.uk