Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 5691 | 1704 |
h-index | 26 | 11 |
i10-index | 45 | 11 |
Acces public
Afișați-le pe toate5 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- David CockSenior Researcher, ETH ZurichAdresă de e-mail confirmată pe cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideAdresă de e-mail confirmată pe ucr.edu
- Kai Engelhardtn.a.Adresă de e-mail confirmată pe acm.org
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalAdresă de e-mail confirmată pe isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Peter ChubbUNSW, SydneyAdresă de e-mail confirmată pe unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneAdresă de e-mail confirmată pe unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdAdresă de e-mail confirmată pe ikuz.org
- Alain GefflautEngineering Manager Google CloudAdresă de e-mail confirmată pe google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandAdresă de e-mail confirmată pe inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaAdresă de e-mail confirmată pe cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKAdresă de e-mail confirmată pe justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgAdresă de e-mail confirmată pe uni.lu