Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2325 | 1243 |
h-indeks | 22 | 18 |
i10-indeks | 43 | 27 |
Offentlig tilgang
Vis alle25 artikler
1 artikkel
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityVerifisert e-postadresse på cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWVerifisert e-postadresse på unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Gabriele KellerUtrecht UniversityVerifisert e-postadresse på uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghVerifisert e-postadresse på anu.edu.au
- Zilin ChenUNSWVerifisert e-postadresse på unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerifisert e-postadresse på lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerifisert e-postadresse på unsw.edu.au
- Peter GammieANUVerifisert e-postadresse på anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Verifisert e-postadresse på huawei.com
- R JefferyUNSWVerifisert e-postadresse på cse.unsw.edu.au
- Mark StaplesData61, CSIROVerifisert e-postadresse på data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Peter ChubbUNSW, SydneyVerifisert e-postadresse på unsw.edu.au
- Timothy BourkeVerifisert e-postadresse på tbrk.org
- Sean SeefriedResearch Engineer, NICTAVerifisert e-postadresse på nicta.com.au
Følg
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verifisert e-postadresse på unimelb.edu.au - Startside