Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 3880 | 1719 |
h-індекс | 13 | 9 |
i10-індекс | 13 | 9 |
Доступні для всіх
Переглянути всі4 статті
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Gernot HeiserProfessor of Computer Science, University of New South WalesПідтверджена електронна адреса в unsw.edu.au
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Michael NorrishAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichПідтверджена електронна адреса в inf.ethz.ch
- 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
- Reto AchermannUniversity of British ColumbiaПідтверджена електронна адреса в cs.ubc.ca
- Daniel SchwynETH ZürichПідтверджена електронна адреса в inf.ethz.ch
Підписатись
David Cock
Senior Researcher, ETH Zurich
Підтверджена електронна адреса в cse.unsw.edu.au - Домашня сторінка