Založit si vlastní profil
Veřejný přístup
Zobrazit všechny30 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- David CockSenior Researcher, ETH ZurichE-mailová adresa ověřena na: cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mailová adresa ověřena na: ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mailová adresa ověřena na: anu.edu.au
- Gabriele KellerUtrecht UniversityE-mailová adresa ověřena na: uu.nl
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mailová adresa ověřena na: ce.pdn.ac.lk
- Peter GammieANUE-mailová adresa ověřena na: anu.edu.au
- Daniel MatichukPhD Graduate, UNSWE-mailová adresa ověřena na: unswalumni.com
- Matthew FernandezIntel LabsE-mailová adresa ověřena na: intel.com
- Kai Engelhardtn.a.E-mailová adresa ověřena na: acm.org
- Yutaka NagashimaHuawei Technologies R&D (UK)E-mailová adresa ověřena na: huawei.com
- Mark StaplesData61, CSIROE-mailová adresa ověřena na: data61.csiro.au
- R JefferyUNSWE-mailová adresa ověřena na: cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au