Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 7743 | 2731 |
h-indeks | 33 | 20 |
i10-indeks | 79 | 43 |
Dostęp publiczny
Wyświetl wszystko30 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesZweryfikowany adres z unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- David CockSenior Researcher, ETH ZurichZweryfikowany adres z cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdZweryfikowany adres z ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghZweryfikowany adres z anu.edu.au
- Gabriele KellerUtrecht UniversityZweryfikowany adres z uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneZweryfikowany adres z unimelb.edu.au
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Peter GammieANUZweryfikowany adres z anu.edu.au
- Daniel MatichukPhD Graduate, UNSWZweryfikowany adres z unswalumni.com
- Matthew FernandezIntel LabsZweryfikowany adres z intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Zweryfikowany adres z huawei.com
- Mark StaplesData61, CSIROZweryfikowany adres z data61.csiro.au
- R JefferyUNSWZweryfikowany adres z cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesZweryfikowany adres z cse.unsw.edu.au