Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3890 | 1728 |
h-index | 13 | 9 |
i10-index | 13 | 9 |
Acces public
Afișați-le pe toate4 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Gernot HeiserProfessor of Computer Science, University of New South WalesAdresă de e-mail confirmată pe unsw.edu.au
- Gerwin KleinProofcraft and UNSWAdresă de e-mail confirmată pe unsw.edu.au
- Michael NorrishAustralian National UniversityAdresă de e-mail confirmată pe anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftAdresă de e-mail confirmată pe proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesAdresă de e-mail confirmată pe cse.unsw.edu.au
- Kai Engelhardtn.a.Adresă de e-mail confirmată pe acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Adresă de e-mail confirmată pe ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaAdresă de e-mail confirmată pe cs.ubc.ca
- Daniel SchwynETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
Urmăriți
David Cock
Senior Researcher, ETH Zurich
Adresă de e-mail confirmată pe cse.unsw.edu.au - Pagina de pornire