Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2324 | 1242 |
h-indeks | 22 | 18 |
i10-indeks | 43 | 27 |
Dostęp publiczny
Wyświetl wszystko25 artykułów
1 artykuł
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
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityZweryfikowany adres z cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWZweryfikowany adres z unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneZweryfikowany adres z unimelb.edu.au
- Gabriele KellerUtrecht UniversityZweryfikowany adres z uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghZweryfikowany adres z anu.edu.au
- Zilin ChenUNSWZweryfikowany adres z unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichZweryfikowany adres z lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyZweryfikowany adres z unsw.edu.au
- Peter GammieANUZweryfikowany adres z anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Zweryfikowany adres z huawei.com
- R JefferyUNSWZweryfikowany adres z cse.unsw.edu.au
- Mark StaplesData61, CSIROZweryfikowany adres z data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneZweryfikowany adres z unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Peter ChubbUNSW, SydneyZweryfikowany adres z unsw.edu.au
- Timothy BourkeZweryfikowany adres z tbrk.org
- Sean SeefriedResearch Engineer, NICTAZweryfikowany adres z nicta.com.au
Obserwuj
Toby Murray
School of Computing and Information Systems, University of Melbourne
Zweryfikowany adres z unimelb.edu.au - Strona główna