Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 18272 | 6294 |
h-indeks | 61 | 32 |
i10-indeks | 150 | 68 |
Offentlig tilgang
Vis alle35 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaVerifisert e-postadresse på gpvsim.org
- Prof Armin ABERLENational University of SingaporeVerifisert e-postadresse på nus.edu.sg
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifisert e-postadresse på ikuz.org
- Peter ChubbUNSW, SydneyVerifisert e-postadresse på unsw.edu.au
- Leonid RyzhykFelderaVerifisert e-postadresse på feldera.com
- David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerifisert e-postadresse på isep.ipp.pt
- Aaron CarrollAppleVerifisert e-postadresse på apple.com
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Bernard BlackhamVerifisert e-postadresse på largestprime.net
Følg
Gernot Heiser
Professor of Computer Science, University of New South Wales
Verifisert e-postadresse på unsw.edu.au - Startside