Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 5708 | 1720 |
indeks-h | 26 | 11 |
indeks-i10 | 45 | 11 |
Akses publik
Lihat semua5 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail yang diverifikasi di unsw.edu.au
- Gerwin KleinProofcraft and UNSWEmail yang diverifikasi di unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email yang diverifikasi di ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftEmail yang diverifikasi di proofcraft.systems
- David CockSenior Researcher, ETH ZurichEmail yang diverifikasi di cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideEmail yang diverifikasi di ucr.edu
- Kai Engelhardtn.a.Email yang diverifikasi di acm.org
- Michael NorrishAustralian National UniversityEmail yang diverifikasi di anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail yang diverifikasi di isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
- Peter ChubbUNSW, SydneyEmail yang diverifikasi di unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneEmail yang diverifikasi di unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail yang diverifikasi di ikuz.org
- Alain GefflautEngineering Manager Google CloudEmail yang diverifikasi di google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenEmail yang diverifikasi di tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandEmail yang diverifikasi di inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesEmail yang diverifikasi di cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKEmail yang diverifikasi di justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgEmail yang diverifikasi di uni.lu