Utwórz swój profil
Cytowane przez
| Wszystkie | Od 2020 | |
|---|---|---|
| Cytowania | 8162 | 2573 |
| h-indeks | 34 | 20 |
| i10-indeks | 79 | 39 |
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 KuzPrincipal 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
- Christine RizkallahSenior Lecturer at the University of MelbourneZweryfikowany adres z unimelb.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- Peter GammieANUZweryfikowany adres z anu.edu.au
- Daniel MatichukPhD Graduate, UNSWZweryfikowany adres z unswalumni.com
- Matthew FernandezIntel LabsZweryfikowany adres z intel.com
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesZweryfikowany adres z cs.cas.cz
- Mark StaplesData61, CSIROZweryfikowany adres z data61.csiro.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesZweryfikowany adres z cse.unsw.edu.au
- R JefferyUNSWZweryfikowany adres z cse.unsw.edu.au
