Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 18273 | 6299 |
h-index | 61 | 32 |
i10-index | 150 | 68 |
Acces public
Afișați-le pe toate35 de articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaAdresă de e-mail confirmată pe gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Prof Armin ABERLENational University of SingaporeAdresă de e-mail confirmată pe nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresă de e-mail confirmată pe ikuz.org
- Peter ChubbUNSW, SydneyAdresă de e-mail confirmată pe unsw.edu.au
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Leonid RyzhykFelderaAdresă de e-mail confirmată pe feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalAdresă de e-mail confirmată pe isep.ipp.pt
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Aaron CarrollAppleAdresă de e-mail confirmată pe apple.com
- Bernard BlackhamAdresă de e-mail confirmată pe largestprime.net
Urmăriți
Gernot Heiser
Professor of Computer Science, University of New South Wales
Adresă de e-mail confirmată pe unsw.edu.au - Pagina de pornire