Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2325 | 1242 |
indice h | 22 | 18 |
indice i10 | 43 | 27 |
Accès public
Tout afficher25 articles
1 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityAdresse e-mail validée de cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWAdresse e-mail validée de unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Gabriele KellerUtrecht UniversityAdresse e-mail validée de uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghAdresse e-mail validée de anu.edu.au
- Zilin ChenUNSWAdresse e-mail validée de unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichAdresse e-mail validée de lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyAdresse e-mail validée de unsw.edu.au
- Peter GammieANUAdresse e-mail validée de anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Adresse e-mail validée de huawei.com
- R JefferyUNSWAdresse e-mail validée de cse.unsw.edu.au
- Mark StaplesData61, CSIROAdresse e-mail validée de data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Peter ChubbUNSW, SydneyAdresse e-mail validée de unsw.edu.au
- Timothy BourkeAdresse e-mail validée de tbrk.org
- Sean SeefriedResearch Engineer, NICTAAdresse e-mail validée de nicta.com.au
Suivre
Toby Murray
School of Computing and Information Systems, University of Melbourne
Adresse e-mail validée de unimelb.edu.au - Page d'accueil