Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 7743 | 2730 |
indice h | 33 | 20 |
indice i10 | 79 | 43 |
Accès public
Tout afficher30 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresse e-mail validée de ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghAdresse e-mail validée de anu.edu.au
- Gabriele KellerUtrecht UniversityAdresse e-mail validée de uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresse e-mail validée de ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Kai Engelhardtn.a.Adresse e-mail validée de acm.org
- Peter GammieANUAdresse e-mail validée de anu.edu.au
- Daniel MatichukPhD Graduate, UNSWAdresse e-mail validée de unswalumni.com
- Matthew FernandezIntel LabsAdresse e-mail validée de intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Adresse e-mail validée de huawei.com
- Mark StaplesData61, CSIROAdresse e-mail validée de data61.csiro.au
- R JefferyUNSWAdresse e-mail validée de cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesAdresse e-mail validée de cse.unsw.edu.au