Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 6053 | 2464 |
h-индекс | 26 | 18 |
i10-индекс | 51 | 28 |
Публичен достъп
Преглед на всички31 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Ramana KumarDeepMindПотвърден имейл адрес: cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyПотвърден имейл адрес: cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeПотвърден имейл адрес: cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWПотвърден имейл адрес: unsw.edu.au
- 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
- 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
- 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
- Mohammad AbdulazizKing's College LondonПотвърден имейл адрес: kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityПотвърден имейл адрес: google.com
- Tom RidgeIndependentПотвърден имейл адрес: tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityПотвърден имейл адрес: anu.edu.au
- Hendra GunadiThe Australian National UniversityПотвърден имейл адрес: anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordПотвърден имейл адрес: cs.ox.ac.uk