Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3875 | 1714 |
h-indeks | 13 | 9 |
i10-indeks | 13 | 9 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
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
- Michael NorrishAustralian National UniversityZweryfikowany adres z anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftZweryfikowany adres z proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesZweryfikowany adres z cse.unsw.edu.au
- Kai Engelhardtn.a.Zweryfikowany adres z acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Zweryfikowany adres z ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaZweryfikowany adres z cs.ubc.ca
- Daniel SchwynETH ZürichZweryfikowany adres z inf.ethz.ch
Obserwuj