अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 352 | 255 |
h-अनुक्रमणिका | 9 | 8 |
i10-अनुक्रमणिका | 9 | 8 |
सार्वजनिक ऐक्सेस
सभी देखें7 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au पर सत्यापित ईमेल
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Gerwin KleinProofcraft and UNSWunsw.edu.au पर सत्यापित ईमेल
- Christine RizkallahSenior Lecturer at the University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Thomas SewellSenior Research Associate, Cambridge Universitycam.ac.uk पर सत्यापित ईमेल
- Zilin ChenUNSWunswalumni.com पर सत्यापित ईमेल
- Gabriele KellerUtrecht Universityuu.nl पर सत्यापित ईमेल
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au पर सत्यापित ईमेल
- Peter ChubbUNSW, Sydneyunsw.edu.au पर सत्यापित ईमेल
- Ramana KumarDeepMindcl.cam.ac.uk पर सत्यापित ईमेल
- Julian ParsertDPhil (PhD) student in Computer Science, University of Oxfordcs.ox.ac.uk पर सत्यापित ईमेल
- Steffen BorgwardtUniversity of Colorado Denverucdenver.edu पर सत्यापित ईमेल
- Alexander MalkisGuest Researcher, TUMdaad-alumni.de पर सत्यापित ईमेल