Skapa en profil
Offentlig åtkomst
Visa alla35 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaVerifierad e-postadress på gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Prof Armin ABERLENational University of SingaporeVerifierad e-postadress på nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifierad e-postadress på ikuz.org
- Peter ChubbUNSW, SydneyVerifierad e-postadress på unsw.edu.au
- David CockSenior Researcher, ETH ZurichVerifierad e-postadress på cse.unsw.edu.au
- Leonid RyzhykFelderaVerifierad e-postadress på feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerifierad e-postadress på isep.ipp.pt
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Aaron CarrollAppleVerifierad e-postadress på apple.com
- Bernard BlackhamVerifierad e-postadress på largestprime.net
Följ
Gernot Heiser
Professor of Computer Science, University of New South Wales
Verifierad e-postadress på unsw.edu.au - Startsida