Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 18301 | 6326 |
indeks-h | 61 | 32 |
indeks-i10 | 150 | 68 |
Akses publik
Lihat semua35 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Kevin ElphinstoneUniversity of New South WalesEmail yang diverifikasi di cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWEmail yang diverifikasi di unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaEmail yang diverifikasi di gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftEmail yang diverifikasi di proofcraft.systems
- Prof Armin ABERLENational University of SingaporeEmail yang diverifikasi di nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail yang diverifikasi di ikuz.org
- Peter ChubbUNSW, SydneyEmail yang diverifikasi di unsw.edu.au
- David CockSenior Researcher, ETH ZurichEmail yang diverifikasi di cse.unsw.edu.au
- Leonid RyzhykFelderaEmail yang diverifikasi di feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail yang diverifikasi di isep.ipp.pt
- Michael NorrishAustralian National UniversityEmail yang diverifikasi di anu.edu.au
- Aaron CarrollAppleEmail yang diverifikasi di apple.com
- Bernard BlackhamEmail yang diverifikasi di largestprime.net
Ikuti
Gernot Heiser
Professor of Computer Science, University of New South Wales
Email yang diverifikasi di unsw.edu.au - Beranda