Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 7749 | 2737 |
indeks-h | 33 | 20 |
indeks-i10 | 79 | 44 |
Akses publik
Lihat semua30 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- June AndronickCEO and co-founcer, ProofcraftEmail yang diverifikasi di proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail yang diverifikasi di unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail yang diverifikasi di unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail yang diverifikasi di cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail yang diverifikasi di in.tum.de
- Michael NorrishAustralian National UniversityEmail yang diverifikasi di anu.edu.au
- David CockSenior Researcher, ETH ZurichEmail yang diverifikasi di cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail yang diverifikasi di ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail yang diverifikasi di anu.edu.au
- Gabriele KellerUtrecht UniversityEmail yang diverifikasi di uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email yang diverifikasi di ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail yang diverifikasi di unimelb.edu.au
- Kai Engelhardtn.a.Email yang diverifikasi di acm.org
- Peter GammieANUEmail yang diverifikasi di anu.edu.au
- Daniel MatichukPhD Graduate, UNSWEmail yang diverifikasi di unswalumni.com
- Matthew FernandezIntel LabsEmail yang diverifikasi di intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Email yang diverifikasi di huawei.com
- Mark StaplesData61, CSIROEmail yang diverifikasi di data61.csiro.au
- R JefferyUNSWEmail yang diverifikasi di cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesEmail yang diverifikasi di cse.unsw.edu.au