Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 7762 | 2750 |
h-index | 33 | 20 |
i10-indeks | 79 | 44 |
Offentlig adgang
Se alle30 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerificeret mail på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerificeret mail på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerificeret mail på cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerificeret mail på in.tum.de
- Michael NorrishAustralian National UniversityVerificeret mail på anu.edu.au
- David CockSenior Researcher, ETH ZurichVerificeret mail på cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerificeret mail på ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghVerificeret mail på anu.edu.au
- Gabriele KellerUtrecht UniversityVerificeret mail på uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verificeret mail på ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneVerificeret mail på unimelb.edu.au
- Kai Engelhardtn.a.Verificeret mail på acm.org
- Peter GammieANUVerificeret mail på anu.edu.au
- Daniel MatichukPhD Graduate, UNSWVerificeret mail på unswalumni.com
- Matthew FernandezIntel LabsVerificeret mail på intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Verificeret mail på huawei.com
- Mark StaplesData61, CSIROVerificeret mail på data61.csiro.au
- R JefferyUNSWVerificeret mail på cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerificeret mail på cse.unsw.edu.au