Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 4286 | 1791 |
h-индекс | 20 | 13 |
i10-индекс | 29 | 17 |
Общий доступ
Просмотреть все16 статей
1 статья
доступно
недоступно
На основе финансирования
Соавторы
- Gerwin KleinProofcraft and UNSWПодтвержден адрес электронной почты в домене unsw.edu.au
- 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
- Michael NorrishAustralian National UniversityПодтвержден адрес электронной почты в домене anu.edu.au
- David CockSenior Researcher, ETH ZurichПодтвержден адрес электронной почты в домене cse.unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Подтвержден адрес электронной почты в домене ce.pdn.ac.lk
- Ihor KuzSenior OS Engineer, Kry10 LtdПодтвержден адрес электронной почты в домене ikuz.org
- R JefferyUNSWПодтвержден адрес электронной почты в домене cse.unsw.edu.au
Подписаться
June Andronick
CEO and co-founcer, Proofcraft
Подтвержден адрес электронной почты в домене proofcraft.systems - Главная страница