Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 7744 | 2731 |
h-index | 33 | 20 |
i10-index | 79 | 43 |
Acces public
Afișați-le pe toate30 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresă de e-mail confirmată pe in.tum.de
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresă de e-mail confirmată pe ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghAdresă de e-mail confirmată pe anu.edu.au
- Gabriele KellerUtrecht UniversityAdresă de e-mail confirmată pe uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Kai Engelhardtn.a.Adresă de e-mail confirmată pe acm.org
- Peter GammieANUAdresă de e-mail confirmată pe anu.edu.au
- Daniel MatichukPhD Graduate, UNSWAdresă de e-mail confirmată pe unswalumni.com
- Matthew FernandezIntel LabsAdresă de e-mail confirmată pe intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Adresă de e-mail confirmată pe huawei.com
- Mark StaplesData61, CSIROAdresă de e-mail confirmată pe data61.csiro.au
- R JefferyUNSWAdresă de e-mail confirmată pe cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
Urmăriți