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