Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 18287 | 6312 |
h-index | 61 | 32 |
i10-indeks | 150 | 68 |
Offentlig adgang
Se alle35 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Kevin ElphinstoneUniversity of New South WalesVerificeret mail på cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaVerificeret mail på gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- Prof Armin ABERLENational University of SingaporeVerificeret mail på nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdVerificeret mail på ikuz.org
- Peter ChubbUNSW, SydneyVerificeret mail på unsw.edu.au
- David CockSenior Researcher, ETH ZurichVerificeret mail på cse.unsw.edu.au
- Leonid RyzhykFelderaVerificeret mail på feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerificeret mail på isep.ipp.pt
- Michael NorrishAustralian National UniversityVerificeret mail på anu.edu.au
- Aaron CarrollAppleVerificeret mail på apple.com
- Bernard BlackhamVerificeret mail på largestprime.net
Følg
Gernot Heiser
Professor of Computer Science, University of New South Wales
Verificeret mail på unsw.edu.au - Startside