Λήψη του δικού μου προφίλ
Παρατίθεται από
Όλα | Από το 2019 | |
---|---|---|
Παραθέσεις | 3877 | 1716 |
h-index | 13 | 9 |
i10-index | 13 | 9 |
Δημόσια πρόσβαση
Προβολή όλων4 άρθρα
0 άρθρα
διαθέσιμα
μη διαθέσιμα
Σύμφωνα με εντολές χρηματοδότησης
Συν-συγγραφείς
- Gernot HeiserProfessor of Computer Science, University of New South WalesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unsw.edu.au
- Gerwin KleinProofcraft and UNSWΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unsw.edu.au
- Michael NorrishAustralian National UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα anu.edu.au
- Timothy RoscoeProfessor of Computer Science, ETH ZurichΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ethz.ch
- June AndronickCEO and co-founcer, ProofcraftΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cse.unsw.edu.au
- Kai Engelhardtn.a.Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ce.pdn.ac.lk
- Reto AchermannUniversity of British ColumbiaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ubc.ca
- Daniel SchwynETH ZürichΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ethz.ch
Παρακολούθηση
David Cock
Senior Researcher, ETH Zurich
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cse.unsw.edu.au - Αρχική σελίδα