Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 18279 | 6298 |
Índice h | 61 | 32 |
Índice i10 | 150 | 68 |
Acesso público
Ver todos35 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Kevin ElphinstoneUniversity of New South WalesE-mail confirmado em cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWE-mail confirmado em unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaE-mail confirmado em gpvsim.org
- Prof Armin ABERLENational University of SingaporeE-mail confirmado em nus.edu.sg
- June AndronickCEO and co-founcer, ProofcraftE-mail confirmado em proofcraft.systems
- Ihor KuzSenior OS Engineer, Kry10 LtdE-mail confirmado em ikuz.org
- Peter ChubbUNSW, SydneyE-mail confirmado em unsw.edu.au
- Leonid RyzhykFelderaE-mail confirmado em feldera.com
- David CockSenior Researcher, ETH ZurichE-mail confirmado em cse.unsw.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalE-mail confirmado em isep.ipp.pt
- Aaron CarrollAppleE-mail confirmado em apple.com
- Michael NorrishAustralian National UniversityE-mail confirmado em anu.edu.au
- Bernard BlackhamE-mail confirmado em largestprime.net
Seguir
Gernot Heiser
Professor of Computer Science, University of New South Wales
E-mail confirmado em unsw.edu.au - Página inicial