Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 5700 | 1713 |
h-індекс | 26 | 11 |
i10-індекс | 45 | 11 |
Доступні для всіх
Переглянути всі5 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Gernot HeiserProfessor of Computer Science, University of New South WalesПідтверджена електронна адреса в unsw.edu.au
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Підтверджена електронна адреса в ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftПідтверджена електронна адреса в proofcraft.systems
- David CockSenior Researcher, ETH ZurichПідтверджена електронна адреса в cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideПідтверджена електронна адреса в ucr.edu
- Kai Engelhardtn.a.Підтверджена електронна адреса в acm.org
- Michael NorrishAustralian National UniversityПідтверджена електронна адреса в anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalПідтверджена електронна адреса в isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichПідтверджена електронна адреса в inf.ethz.ch
- Peter ChubbUNSW, SydneyПідтверджена електронна адреса в unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneПідтверджена електронна адреса в unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdПідтверджена електронна адреса в ikuz.org
- Alain GefflautEngineering Manager Google CloudПідтверджена електронна адреса в google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenПідтверджена електронна адреса в tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandПідтверджена електронна адреса в inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesПідтверджена електронна адреса в cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaПідтверджена електронна адреса в cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKПідтверджена електронна адреса в justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgПідтверджена електронна адреса в uni.lu