Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 5661 | 1677 |
Índice h | 26 | 11 |
Índice i10 | 45 | 11 |
Acesso público
Ver tudo5 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail confirmado em unsw.edu.au
- Gerwin KleinProofcraft and UNSWEmail confirmado em unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email confirmado em ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftEmail confirmado em proofcraft.systems
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideEmail confirmado em ucr.edu
- David CockSenior Researcher, ETH ZurichEmail confirmado em cse.unsw.edu.au
- Kai Engelhardtn.a.Email confirmado em acm.org
- Michael NorrishAustralian National UniversityEmail confirmado em anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail confirmado em isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichEmail confirmado em inf.ethz.ch
- Peter ChubbUNSW, SydneyEmail confirmado em unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail confirmado em unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail confirmado em ikuz.org
- Alain GefflautEngineering Manager Google CloudEmail confirmado em google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenEmail confirmado em tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandEmail confirmado em inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesEmail confirmado em cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaEmail confirmado em cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKEmail confirmado em justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgEmail confirmado em uni.lu