קבלת פרופיל משלי
צוטט על ידי
הכל | מאז 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