अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 675 | 439 |
h-अनुक्रमणिका | 14 | 11 |
i10-अनुक्रमणिका | 17 | 13 |
सार्वजनिक ऐक्सेस
सभी देखें10 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au पर सत्यापित ईमेल
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au पर सत्यापित ईमेल
- Zilin ChenUNSWunswalumni.com पर सत्यापित ईमेल
- Gerwin KleinProofcraft and UNSWunsw.edu.au पर सत्यापित ईमेल
- Gabriele KellerUtrecht Universityuu.nl पर सत्यापित ईमेल
- Yutaka NagashimaHuawei Technologies R&D (UK)huawei.com पर सत्यापित ईमेल
- Joachim BreitnerLean FROjoachim-breitner.de पर सत्यापित ईमेल
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvaniacis.upenn.edu पर सत्यापित ईमेल
- Kurt MehlhornProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campusmpi-inf.mpg.de पर सत्यापित ईमेल
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au पर सत्यापित ईमेल
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydneyunsw.edu.au पर सत्यापित ईमेल
- Peter ChubbUNSW, Sydneyunsw.edu.au पर सत्यापित ईमेल
- Eyad Alkassarwjpserver.cs.uni-saarland.de पर सत्यापित ईमेल
- Yao LiPortland State Universitypdx.edu पर सत्यापित ईमेल
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems पर सत्यापित ईमेल
- Haris AzizUNSW Sydney - Scientia Associate Professorunsw.edu.au पर सत्यापित ईमेल
- Carroll MorganProfessor, University of New South Wales and DATA61unsw.edu.au पर सत्यापित ईमेल
- Daniel MatichukPhD Graduate, UNSWunswalumni.com पर सत्यापित ईमेल
- Lars NoschinskiTechnische Universität Münchenin.tum.de पर सत्यापित ईमेल
- Steve ZdancewicProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu पर सत्यापित ईमेल
अनुसरण करें
Christine Rizkallah
Senior Lecturer at the University of Melbourne
unimelb.edu.au पर सत्यापित ईमेल - मुख्यपृष्ठ