Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 7749 | 2737 |
h-индекс | 33 | 20 |
i10-индекс | 79 | 44 |
Общий доступ
Просмотреть все30 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- June AndronickCEO and co-founcer, ProofcraftПодтвержден адрес электронной почты в домене proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesПодтвержден адрес электронной почты в домене unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПодтвержден адрес электронной почты в домене unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesПодтвержден адрес электронной почты в домене cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПодтвержден адрес электронной почты в домене in.tum.de
- Michael NorrishAustralian National UniversityПодтвержден адрес электронной почты в домене anu.edu.au
- David CockSenior Researcher, ETH ZurichПодтвержден адрес электронной почты в домене cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdПодтвержден адрес электронной почты в домене ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghПодтвержден адрес электронной почты в домене anu.edu.au
- Gabriele KellerUtrecht UniversityПодтвержден адрес электронной почты в домене uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Подтвержден адрес электронной почты в домене ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneПодтвержден адрес электронной почты в домене unimelb.edu.au
- Kai Engelhardtn.a.Подтвержден адрес электронной почты в домене acm.org
- Peter GammieANUПодтвержден адрес электронной почты в домене anu.edu.au
- Daniel MatichukPhD Graduate, UNSWПодтвержден адрес электронной почты в домене unswalumni.com
- Matthew FernandezIntel LabsПодтвержден адрес электронной почты в домене intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Подтвержден адрес электронной почты в домене huawei.com
- Mark StaplesData61, CSIROПодтвержден адрес электронной почты в домене data61.csiro.au
- R JefferyUNSWПодтвержден адрес электронной почты в домене cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesПодтвержден адрес электронной почты в домене cse.unsw.edu.au
Подписаться
Gerwin Klein
Proofcraft and UNSW
Подтвержден адрес электронной почты в домене unsw.edu.au - Главная страница