Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 2322 | 1241 |
Índice h | 22 | 18 |
Índice i10 | 43 | 27 |
Acesso público
Ver tudo25 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail confirmado em unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail confirmado em proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityEmail confirmado em cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWEmail confirmado em unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail confirmado em unimelb.edu.au
- Gabriele KellerUtrecht UniversityEmail confirmado em uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail confirmado em anu.edu.au
- Zilin ChenUNSWEmail confirmado em unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichEmail confirmado em lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyEmail confirmado em unsw.edu.au
- Peter GammieANUEmail confirmado em anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Email confirmado em huawei.com
- R JefferyUNSWEmail confirmado em cse.unsw.edu.au
- Mark StaplesData61, CSIROEmail confirmado em data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneEmail confirmado em unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail confirmado em cse.unsw.edu.au
- Peter ChubbUNSW, SydneyEmail confirmado em unsw.edu.au
- Timothy BourkeEmail confirmado em tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail confirmado em nicta.com.au
Seguir
Toby Murray
School of Computing and Information Systems, University of Melbourne
Email confirmado em unimelb.edu.au - Página inicial