Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 18268 | 6293 |
h-index | 61 | 32 |
i10-index | 150 | 68 |
Nyilvános hozzáférés
Összes megtekintése35 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Kevin ElphinstoneUniversity of New South WalesE-mail megerősítve itt: cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mail megerősítve itt: unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaE-mail megerősítve itt: gpvsim.org
- Prof Armin ABERLENational University of SingaporeE-mail megerősítve itt: nus.edu.sg
- June AndronickCEO and co-founcer, ProofcraftE-mail megerősítve itt: proofcraft.systems
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mail megerősítve itt: ikuz.org
- Peter ChubbUNSW, SydneyE-mail megerősítve itt: unsw.edu.au
- Leonid RyzhykFelderaE-mail megerősítve itt: feldera.com
- David CockSenior Researcher, ETH ZurichE-mail megerősítve itt: cse.unsw.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mail megerősítve itt: isep.ipp.pt
- Aaron CarrollAppleE-mail megerősítve itt: apple.com
- Michael NorrishAustralian National UniversityE-mail megerősítve itt: anu.edu.au
- Bernard BlackhamE-mail megerősítve itt: largestprime.net
Követés
Gernot Heiser
Professor of Computer Science, University of New South Wales
E-mail megerősítve itt: unsw.edu.au - Kezdőlap