Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 19287 | 4572 |
h-індекс | 56 | 23 |
i10-індекс | 129 | 60 |
Доступні для всіх
Переглянути всі38 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Lawrence PaulsonUniversity of CambridgeПідтверджена електронна адреса в cam.ac.uk
- Gerwin KleinProofcraft and UNSWПідтверджена електронна адреса в unsw.edu.au
- Franz BaaderProfessor of Theoretical Computer Science, TU DresdenПідтверджена електронна адреса в tu-dresden.de
- Johannes HölzlПідтверджена електронна адреса в in.tum.de
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenПідтверджена електронна адреса в ifi.lmu.de
- Thomas HalesUniversity of PittsburghПідтверджена електронна адреса в pitt.edu
- 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
- Andrei PopescuUniversity of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Dmitriy TraytelUniversity of CopenhagenПідтверджена електронна адреса в di.ku.dk
- Peter LammichThe University of ManchesterПідтверджена електронна адреса в in.tum.de
- Manuel EberlUniversity of InnsbruckПідтверджена електронна адреса в uibk.ac.at
- Gregor SneltingKITПідтверджена електронна адреса в kit.edu
- Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesПідтверджена електронна адреса в ost.ch
- Christian UrbanKing's College LondonПідтверджена електронна адреса в kcl.ac.uk
- Maximilian P. L. HaslbeckTU MünchenПідтверджена електронна адреса в in.tum.de
- 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 InnsbruckПідтверджена електронна адреса в uibk.ac.at
Підписатись
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Підтверджена електронна адреса в in.tum.de - Домашня сторінка