Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 6076 | 2489 |
h-индекс | 26 | 18 |
i10-индекс | 51 | 28 |
Общий доступ
Просмотреть все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 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
- Louise DennisDepartment of Computer Science, University of ManchesterПодтвержден адрес электронной почты в домене manchester.ac.uk
Подписаться
Michael Norrish
Подтвержден адрес электронной почты в домене anu.edu.au - Главная страница