Отримати власний профіль
Посилання
Усі | З 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