Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 3663 | 1138 |
h-индекс | 10 | 5 |
i10-индекс | 10 | 4 |
Публичен достъп
Преглед на всички1 статия
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Gerwin KleinProofcraft and UNSWПотвърден имейл адрес: unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesПотвърден имейл адрес: unsw.edu.au
- Michael NorrishAustralian National UniversityПотвърден имейл адрес: anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Потвърден имейл адрес: ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesПотвърден имейл адрес: cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftПотвърден имейл адрес: proofcraft.systems
- David CockSenior Researcher, ETH ZurichПотвърден имейл адрес: cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesПотвърден имейл адрес: cse.unsw.edu.au
- Yoram MosesTechnionПотвърден имейл адрес: ee.technion.ac.il
- Peter GammieANUПотвърден имейл адрес: anu.edu.au
- Kaile SuIIIS, Griffith UniversityПотвърден имейл адрес: griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПотвърден имейл адрес: unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyПотвърден имейл адрес: unsw.edu.au
- Tony HoskingAustralian National UniversityПотвърден имейл адрес: anu.edu.au
- Chenyi ZhangOracle Labs AustraliaПотвърден имейл адрес: oracle.com
- Ralf HuuckNICTA, UNSWПотвърден имейл адрес: cse.unsw.edu.au