Mijn eigen profiel maken
Openbare toegang
Alles bekijken30 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesGeverifieerd e-mailadres voor unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- Michael NorrishAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- David CockSenior Researcher, ETH ZurichGeverifieerd e-mailadres voor cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdGeverifieerd e-mailadres voor ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghGeverifieerd e-mailadres voor anu.edu.au
- Gabriele KellerUtrecht UniversityGeverifieerd e-mailadres voor uu.nl
- Christine RizkallahSenior Lecturer at the University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Geverifieerd e-mailadres voor ce.pdn.ac.lk
- Peter GammieANUGeverifieerd e-mailadres voor anu.edu.au
- Daniel MatichukPhD Graduate, UNSWGeverifieerd e-mailadres voor unswalumni.com
- Matthew FernandezIntel LabsGeverifieerd e-mailadres voor intel.com
- Kai Engelhardtn.a.Geverifieerd e-mailadres voor acm.org
- Yutaka NagashimaHuawei Technologies R&D (UK)Geverifieerd e-mailadres voor huawei.com
- Mark StaplesData61, CSIROGeverifieerd e-mailadres voor data61.csiro.au
- R JefferyUNSWGeverifieerd e-mailadres voor cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au