Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 18278 | 6303 |
h-індекс | 61 | 32 |
i10-індекс | 150 | 68 |
Доступні для всіх
Переглянути всі35 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Kevin ElphinstoneUniversity of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaПідтверджена електронна адреса в gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftПідтверджена електронна адреса в proofcraft.systems
- Prof Armin ABERLENational University of SingaporeПідтверджена електронна адреса в nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdПідтверджена електронна адреса в ikuz.org
- Peter ChubbUNSW, SydneyПідтверджена електронна адреса в unsw.edu.au
- David CockSenior Researcher, ETH ZurichПідтверджена електронна адреса в cse.unsw.edu.au
- Leonid RyzhykFelderaПідтверджена електронна адреса в feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalПідтверджена електронна адреса в isep.ipp.pt
- Michael NorrishAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Aaron CarrollAppleПідтверджена електронна адреса в apple.com
- Bernard BlackhamПідтверджена електронна адреса в largestprime.net
Підписатись
Gernot Heiser
Professor of Computer Science, University of New South Wales
Підтверджена електронна адреса в unsw.edu.au - Домашня сторінка