Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 5692 | 1705 |
H-indeks | 26 | 11 |
i10-indeks | 45 | 11 |
Javni pristup
Prikaži sve5 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Gernot HeiserProfessor of Computer Science, University of New South WalesPotvrđena adresa e-pošte na unsw.edu.au
- Gerwin KleinProofcraft and UNSWPotvrđena adresa e-pošte na unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Potvrđena adresa e-pošte na ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftPotvrđena adresa e-pošte na proofcraft.systems
- David CockSenior Researcher, ETH ZurichPotvrđena adresa e-pošte na cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversidePotvrđena adresa e-pošte na ucr.edu
- Kai Engelhardtn.a.Potvrđena adresa e-pošte na acm.org
- Michael NorrishAustralian National UniversityPotvrđena adresa e-pošte na anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalPotvrđena adresa e-pošte na isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichPotvrđena adresa e-pošte na inf.ethz.ch
- Peter ChubbUNSW, SydneyPotvrđena adresa e-pošte na unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbournePotvrđena adresa e-pošte na unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdPotvrđena adresa e-pošte na ikuz.org
- Alain GefflautEngineering Manager Google CloudPotvrđena adresa e-pošte na google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenPotvrđena adresa e-pošte na tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandPotvrđena adresa e-pošte na inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesPotvrđena adresa e-pošte na cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKPotvrđena adresa e-pošte na justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgPotvrđena adresa e-pošte na uni.lu