Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 622 | 271 |
h-индекс | 9 | 8 |
i10-индекс | 9 | 7 |
Публичен достъп
Преглед на всички7 статии
0 статии
налични
неналични
Въз основа на изисквания при финансирането
Съавтори
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПотвърден имейл адрес: unimelb.edu.au
- Gerwin KleinProofcraft and UNSWПотвърден имейл адрес: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftПотвърден имейл адрес: proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenПотвърден имейл адрес: ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПотвърден имейл адрес: in.tum.de
- R JefferyUNSWПотвърден имейл адрес: cse.unsw.edu.au
- Mark StaplesData61, CSIROПотвърден имейл адрес: data61.csiro.au