Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 3877 | 1716 |
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
Следене