Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 18276 | 6297 |
h-indeks | 61 | 32 |
i10-indeks | 150 | 68 |
Dostęp publiczny
Wyświetl wszystko35 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaZweryfikowany adres z gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Prof Armin ABERLENational University of SingaporeZweryfikowany adres z nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdZweryfikowany adres z ikuz.org
- Peter ChubbUNSW, SydneyZweryfikowany adres z unsw.edu.au
- David CockSenior Researcher, ETH ZurichZweryfikowany adres z cse.unsw.edu.au
- Leonid RyzhykFelderaZweryfikowany adres z feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalZweryfikowany adres z isep.ipp.pt
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- Aaron CarrollAppleZweryfikowany adres z apple.com
- Bernard BlackhamZweryfikowany adres z largestprime.net
Obserwuj
Gernot Heiser
Professor of Computer Science, University of New South Wales
Zweryfikowany adres z unsw.edu.au - Strona główna