Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 856 | 404 |
h-індекс | 16 | 12 |
i10-індекс | 21 | 13 |
Доступні для всіх
Переглянути всі17 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Andrei PopescuUniversity of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПідтверджена електронна адреса в in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbHПідтверджена електронна адреса в inf.ethz.ch
- Dmitriy TraytelUniversity of CopenhagenПідтверджена електронна адреса в di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenПідтверджена електронна адреса в ifi.lmu.de
- Lorenz PannyTechnische Universität MünchenПідтверджена електронна адреса в yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityПідтверджена електронна адреса в cmu.edu
- Manuel EberlUniversity of InnsbruckПідтверджена електронна адреса в uibk.ac.at
- Mathias FleuryUniversity FreiburgПідтверджена електронна адреса в informatik.uni-freiburg.de
- Christian SternagelПідтверджена електронна адреса в uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC BerkeleyПідтверджена електронна адреса в cs.berkeley.edu
- Mooly SagivTel Aviv UniversityПідтверджена електронна адреса в acm.org
- Rastislav BodikUniversity of WashingtonПідтверджена електронна адреса в cs.washington.edu
- Robert Y. LewisLecturer, Brown UniversityПідтверджена електронна адреса в brown.edu
- Sander R. DahmenResearcher, VU University AmsterdamПідтверджена електронна адреса в vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität MünchenПідтверджена електронна адреса в in.tum.de
- Alexander BentkampHeinrich-Heine-Universität DüsseldorfПідтверджена електронна адреса в hhu.de
Підписатись