Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 5695 | 1703 |
h-indeks | 26 | 11 |
i10-indeks | 45 | 11 |
Dostęp publiczny
Wyświetl wszystko5 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Gernot HeiserProfessor of Computer Science, University of New South WalesZweryfikowany adres z unsw.edu.au
- Gerwin KleinProofcraft and UNSWZweryfikowany adres z unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- David CockSenior Researcher, ETH ZurichZweryfikowany adres z cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideZweryfikowany adres z ucr.edu
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalZweryfikowany adres z isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Peter ChubbUNSW, SydneyZweryfikowany adres z unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneZweryfikowany adres z unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdZweryfikowany adres z ikuz.org
- Alain GefflautEngineering Manager Google CloudZweryfikowany adres z google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenZweryfikowany adres z tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandZweryfikowany adres z inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaZweryfikowany adres z cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKZweryfikowany adres z justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgZweryfikowany adres z uni.lu