Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 5699 | 1712 |
indice h | 26 | 11 |
indice i10 | 45 | 11 |
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresse e-mail validée de unsw.edu.au
- Gerwin KleinProofcraft and UNSWAdresse e-mail validée de unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresse e-mail validée de ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftAdresse e-mail validée de proofcraft.systems
- David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideAdresse e-mail validée de ucr.edu
- Kai Engelhardtn.a.Adresse e-mail validée de acm.org
- Michael NorrishAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalAdresse e-mail validée de isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- Peter ChubbUNSW, SydneyAdresse e-mail validée de unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresse e-mail validée de ikuz.org
- Alain GefflautEngineering Manager Google CloudAdresse e-mail validée de google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenAdresse e-mail validée de tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandAdresse e-mail validée de inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesAdresse e-mail validée de cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKAdresse e-mail validée de justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgAdresse e-mail validée de uni.lu