अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 2329 | 1247 |
h-अनुक्रमणिका | 22 | 18 |
i10-अनुक्रमणिका | 43 | 27 |
सार्वजनिक ऐक्सेस
सभी देखें25 लेख
1 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Gerwin KleinProofcraft and UNSWunsw.edu.au पर सत्यापित ईमेल
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au पर सत्यापित ईमेल
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems पर सत्यापित ईमेल
- Thomas SewellSenior Research Associate, Cambridge Universitycam.ac.uk पर सत्यापित ईमेल
- Daniel MatichukPhD Graduate, UNSWunswalumni.com पर सत्यापित ईमेल
- Christine RizkallahSenior Lecturer at the University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Gabriele KellerUtrecht Universityuu.nl पर सत्यापित ईमेल
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au पर सत्यापित ईमेल
- Zilin ChenUNSWunswalumni.com पर सत्यापित ईमेल
- Gidon ErnstSoftware and Computational Systems Lab, LMU Munichlmu.de पर सत्यापित ईमेल
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydneyunsw.edu.au पर सत्यापित ईमेल
- Peter GammieANUanu.edu.au पर सत्यापित ईमेल
- Yutaka NagashimaHuawei Technologies R&D (UK)huawei.com पर सत्यापित ईमेल
- R JefferyUNSWcse.unsw.edu.au पर सत्यापित ईमेल
- Mark StaplesData61, CSIROdata61.csiro.au पर सत्यापित ईमेल
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au पर सत्यापित ईमेल
- Peter ChubbUNSW, Sydneyunsw.edu.au पर सत्यापित ईमेल
- Timothy Bourketbrk.org पर सत्यापित ईमेल
- Sean SeefriedResearch Engineer, NICTAnicta.com.au पर सत्यापित ईमेल
अनुसरण करें
Toby Murray
School of Computing and Information Systems, University of Melbourne
unimelb.edu.au पर सत्यापित ईमेल - मुख्यपृष्ठ