Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 7743 | 2730 |
Índice h | 33 | 20 |
Índice i10 | 79 | 43 |
Acesso público
Ver todos30 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mail confirmado em unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mail confirmado em unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail confirmado em in.tum.de
- Michael NorrishAustralian National UniversityE-mail confirmado em anu.edu.au
- David CockSenior Researcher, ETH ZurichE-mail confirmado em cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mail confirmado em ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mail confirmado em anu.edu.au
- Gabriele KellerUtrecht UniversityE-mail confirmado em uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mail confirmado em ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mail confirmado em unimelb.edu.au
- Kai Engelhardtn.a.E-mail confirmado em acm.org
- Peter GammieANUE-mail confirmado em anu.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mail confirmado em unswalumni.com
- Matthew FernandezIntel LabsE-mail confirmado em intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)E-mail confirmado em huawei.com
- Mark StaplesData61, CSIROE-mail confirmado em data61.csiro.au
- R JefferyUNSWE-mail confirmado em cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesE-mail confirmado em cse.unsw.edu.au