Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 3877 | 1716 |
h-indeks | 13 | 9 |
i10-indeks | 13 | 9 |
Offentlig tilgang
Vis alle4 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
- Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
- Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichVerifisert e-postadresse på inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
- Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaVerifisert e-postadresse på cs.ubc.ca
- Daniel SchwynETH ZürichVerifisert e-postadresse på inf.ethz.ch