Založit si vlastní profil
Veřejný přístup
Zobrazit všechny37 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaE-mailová adresa ověřena na: gpvsim.org
June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
Prof Armin ABERLENational University of SingaporeE-mailová adresa ověřena na: nus.edu.sg
Ihor KuzSenior OS Engineer, Kry10 LtdE-mailová adresa ověřena na: ikuz.org
Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
David CockSenior Researcher, ETH ZurichE-mailová adresa ověřena na: cse.unsw.edu.au
Michael NorrishAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
Leonid RyzhykFelderaE-mailová adresa ověřena na: feldera.com
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mailová adresa ověřena na: isep.ipp.pt
Aaron CarrollAppleE-mailová adresa ověřena na: apple.com
Bernard BlackhamE-mailová adresa ověřena na: largestprime.net
Sledovat![Gernot Heiser](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=0e0Vw3kAAAAJ&citpid=2)
Gernot Heiser
Professor of Computer Science, University of New South Wales
E-mailová adresa ověřena na: unsw.edu.au - Domovská stránka