Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 624 | 273 |
h-indeks | 9 | 8 |
i10-indeks | 9 | 7 |
Dostęp publiczny
Wyświetl wszystko7 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenZweryfikowany adres z ifi.lmu.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
- R JefferyUNSWZweryfikowany adres z cse.unsw.edu.au
- Mark StaplesData61, CSIROZweryfikowany adres z data61.csiro.au