Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 5701 | 1714 |
h-index | 26 | 11 |
i10-indeks | 45 | 11 |
Offentlig adgang
Se alle5 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerificeret mail på unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerificeret mail på unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verificeret mail på ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftVerificeret mail på proofcraft.systems
- David CockSenior Researcher, ETH ZurichVerificeret mail på cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerificeret mail på ucr.edu
- Kai Engelhardtn.a.Verificeret mail på acm.org
- Michael NorrishAustralian National UniversityVerificeret mail på anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerificeret mail på isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVerificeret mail på inf.ethz.ch
- Peter ChubbUNSW, SydneyVerificeret mail på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerificeret mail på unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerificeret mail på ikuz.org
- Alain GefflautEngineering Manager Google CloudVerificeret mail på google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerificeret mail på tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandVerificeret mail på inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerificeret mail på cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaVerificeret mail på cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKVerificeret mail på justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerificeret mail på uni.lu