Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3663 | 1138 |
h-indeks | 10 | 5 |
i10-indeks | 10 | 4 |
Dostęp publiczny
Wyświetl wszystko1 artykuł
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesZweryfikowany adres z unsw.edu.au
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- David CockSenior Researcher, ETH ZurichZweryfikowany adres z cse.unsw.edu.au
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Yoram MosesTechnionZweryfikowany adres z ee.technion.ac.il
- Peter GammieANUZweryfikowany adres z anu.edu.au
- Kaile SuIIIS, Griffith UniversityZweryfikowany adres z griffith.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyZweryfikowany adres z unsw.edu.au
- Tony HoskingAustralian National UniversityZweryfikowany adres z anu.edu.au
- Chenyi ZhangOracle Labs AustraliaZweryfikowany adres z oracle.com
- Ralf HuuckNICTA, UNSWZweryfikowany adres z cse.unsw.edu.au