अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 7759 | 2747 |
h-अनुक्रमणिका | 33 | 20 |
i10-अनुक्रमणिका | 79 | 44 |
सार्वजनिक ऐक्सेस
सभी देखें30 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems पर सत्यापित ईमेल
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au पर सत्यापित ईमेल
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au पर सत्यापित ईमेल
- Tobias NipkowProfessor of Computer Science, Technische Universität Münchenin.tum.de पर सत्यापित ईमेल
- Michael NorrishAustralian National Universityanu.edu.au पर सत्यापित ईमेल
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au पर सत्यापित ईमेल
- Ihor KuzSenior OS Engineer, Kry10 Ltdikuz.org पर सत्यापित ईमेल
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au पर सत्यापित ईमेल
- Gabriele KellerUtrecht Universityuu.nl पर सत्यापित ईमेल
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk पर सत्यापित ईमेल
- Christine RizkallahSenior Lecturer at the University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Kai Engelhardtn.a.acm.org पर सत्यापित ईमेल
- Peter GammieANUanu.edu.au पर सत्यापित ईमेल
- Daniel MatichukPhD Graduate, UNSWunswalumni.com पर सत्यापित ईमेल
- Matthew FernandezIntel Labsintel.com पर सत्यापित ईमेल
- Yutaka NagashimaHuawei Technologies R&D (UK)huawei.com पर सत्यापित ईमेल
- Mark StaplesData61, CSIROdata61.csiro.au पर सत्यापित ईमेल
- R JefferyUNSWcse.unsw.edu.au पर सत्यापित ईमेल
- David GreenawayNICTA and School of Computer Science, University of New South Walescse.unsw.edu.au पर सत्यापित ईमेल