Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 7742 | 2729 |
h-indeks | 33 | 20 |
i10-indeks | 79 | 43 |
Offentlig tilgang
Vis alle30 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifisert e-postadresse på ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghVerifisert e-postadresse på anu.edu.au
- Gabriele KellerUtrecht UniversityVerifisert e-postadresse på uu.nl
- Christine RizkallahSenior Lecturer at the University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
- Peter GammieANUVerifisert e-postadresse på anu.edu.au
- Daniel MatichukPhD Graduate, UNSWVerifisert e-postadresse på unswalumni.com
- Matthew FernandezIntel LabsVerifisert e-postadresse på intel.com
- Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
- Yutaka NagashimaHuawei Technologies R&D (UK)Verifisert e-postadresse på huawei.com
- Mark StaplesData61, CSIROVerifisert e-postadresse på data61.csiro.au
- R JefferyUNSWVerifisert e-postadresse på cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au