Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 5699 | 1704 |
h-indeks | 26 | 11 |
i10-indeks | 45 | 11 |
Offentlig tilgang
Vis alle5 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerifisert e-postadresse på ucr.edu
- David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
- Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerifisert e-postadresse på isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVerifisert e-postadresse på inf.ethz.ch
- Peter ChubbUNSW, SydneyVerifisert e-postadresse på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifisert e-postadresse på ikuz.org
- Alain GefflautEngineering Manager Google CloudVerifisert e-postadresse på google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerifisert e-postadresse på tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandVerifisert e-postadresse på inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaVerifisert e-postadresse på cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKVerifisert e-postadresse på justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerifisert e-postadresse på uni.lu