קבלת פרופיל משלי
צוטט על ידי
| הכל | מאז 2020 | |
|---|---|---|
| ציטוטים ביבליוגרפיים | 19921 | 4406 |
| H-index | 59 | 23 |
| i10-index | 132 | 60 |
גישה ציבורית
הצג הכל40 מאמרים
מאמר אחד
זמין
לא זמין
על סמך ייפוי כח מהמממנים
מחברים משותפים
Lawrence PaulsonUniversity of Cambridgeכתובת אימייל מאומתת בדומיין cam.ac.uk- Gerwin KleinProofcraft and UNSWכתובת אימייל מאומתת בדומיין unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzigכתובת אימייל מאומתת בדומיין tu-dresden.de
- Johannes Hölzlכתובת אימייל מאומתת בדומיין in.tum.de
- Jasmin BlanchetteLudwig-Maximilians-Universität Münchenכתובת אימייל מאומתת בדומיין ifi.lmu.de
- Ursula MartinUniversity of Edinburgh; University of Oxfordכתובת אימייל מאומתת בדומיין maths.ox.ac.uk
- Steven ObuaUniversity of Edinburghכתובת אימייל מאומתת בדומיין inf.ed.ac.uk
- John R HarrisonAmazon Web Servicesכתובת אימייל מאומתת בדומיין amazon.com
- Peter LammichThe University of Manchesterכתובת אימייל מאומתת בדומיין in.tum.de
- Manuel EberlUniversity of Innsbruckכתובת אימייל מאומתת בדומיין uibk.ac.at
- Andrei PopescuUniversity of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
- Dmitriy TraytelUniversity of Copenhagenכתובת אימייל מאומתת בדומיין di.ku.dk
- Thomas HalesUniversity of Pittsburghכתובת אימייל מאומתת בדומיין pitt.edu
- Gregor SneltingKITכתובת אימייל מאומתת בדומיין kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied Sciencesכתובת אימייל מאומתת בדומיין ost.ch
- Max W. HaslbeckPhD Student, University of Innsbruckכתובת אימייל מאומתת בדומיין uibk.ac.at
- Nam Trung TranInstitute of Mathematics, Vietnam Academy of Science and Technologyכתובת אימייל מאומתת בדומיין math.ac.vn
- Cezary KaliszykUniversity of Melbourneכתובת אימייל מאומתת בדומיין unimelb.edu.au
- Alexey SolovyevResearch Associate of Computer Science, University of Utahכתובת אימייל מאומתת בדומיין cs.utah.edu
- Thi Hoai An TaInstitute of Mathematics, Vietnam Academy of Science and Technologyכתובת אימייל מאומתת בדומיין math.ac.vn
עקוב אחר
Tobias Nipkow
Professor of Computer Science, Technische Universität München
כתובת אימייל מאומתת בדומיין in.tum.de - דף הבית