Hanki oma profiili
Viittaukset
Kaikki | 2019 lähtien | |
---|---|---|
Sitaatit | 3877 | 1716 |
h-indeksi | 13 | 9 |
i10-indeksi | 13 | 9 |
Yleisessä käytössä
Näytä kaikki4 artikkelia
0 artikkelia
käytettävissä
ei käytettävissä
Perustuu rahoitusehtoihin
Muut kirjoittajat
- Gernot HeiserProfessor of Computer Science, University of New South WalesVahvistettu sähköpostiosoite verkkotunnuksessa unsw.edu.au
- Gerwin KleinProofcraft and UNSWVahvistettu sähköpostiosoite verkkotunnuksessa unsw.edu.au
- Michael NorrishAustralian National UniversityVahvistettu sähköpostiosoite verkkotunnuksessa anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVahvistettu sähköpostiosoite verkkotunnuksessa inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftVahvistettu sähköpostiosoite verkkotunnuksessa proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesVahvistettu sähköpostiosoite verkkotunnuksessa cse.unsw.edu.au
- Kai Engelhardtn.a.Vahvistettu sähköpostiosoite verkkotunnuksessa acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Vahvistettu sähköpostiosoite verkkotunnuksessa ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaVahvistettu sähköpostiosoite verkkotunnuksessa cs.ubc.ca
- Daniel SchwynETH ZürichVahvistettu sähköpostiosoite verkkotunnuksessa inf.ethz.ch