अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 18290 | 6315 |
h-अनुक्रमणिका | 61 | 32 |
i10-अनुक्रमणिका | 150 | 68 |
सार्वजनिक ऐक्सेस
सभी देखें35 लेख
0 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au पर सत्यापित ईमेल
- Gerwin KleinProofcraft and UNSWunsw.edu.au पर सत्यापित ईमेल
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, Chinagpvsim.org पर सत्यापित ईमेल
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems पर सत्यापित ईमेल
- Prof Armin ABERLENational University of Singaporenus.edu.sg पर सत्यापित ईमेल
- Ihor KuzSenior OS Engineer, Kry10 Ltdikuz.org पर सत्यापित ईमेल
- Peter ChubbUNSW, Sydneyunsw.edu.au पर सत्यापित ईमेल
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au पर सत्यापित ईमेल
- Leonid RyzhykFelderafeldera.com पर सत्यापित ईमेल
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, Portugalisep.ipp.pt पर सत्यापित ईमेल
- Michael NorrishAustralian National Universityanu.edu.au पर सत्यापित ईमेल
- Aaron CarrollAppleapple.com पर सत्यापित ईमेल
- Bernard Blackhamlargestprime.net पर सत्यापित ईमेल
अनुसरण करें
Gernot Heiser
Professor of Computer Science, University of New South Wales
unsw.edu.au पर सत्यापित ईमेल - मुख्यपृष्ठ