Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 4197 | 1666 |
h-индекс | 20 | 12 |
i10-индекс | 29 | 16 |
Публичен достъп
Преглед на всички17 статии
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 - Начална страница