Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 665 | 302 |
h-індекс | 12 | 9 |
i10-індекс | 15 | 8 |
Доступні для всіх
Переглянути всі10 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Armin BiereProfessor of Computer Science, University of FreiburgПідтверджена електронна адреса в informatik.uni-freiburg.de
- Gergely KovásznaiEszterhazy Karoly UniversityПідтверджена електронна адреса в aries.ektf.hu
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienПідтверджена електронна адреса в forsyte.tuwien.ac.at
- Christoph M. WintersteigerImandraПідтверджена електронна адреса в imandra.ai
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Tomas BalyoFiluta AIПідтверджена електронна адреса в filuta.ai
- Uwe SchöningProfessor of Computer Science, Ulm University, retiredПідтверджена електронна адреса в uni-ulm.de
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaПідтверджена електронна адреса в cs.rwth-aachen.de
- Dave A. D. TompkinsLecturer, Computer Science, University of WaterlooПідтверджена електронна адреса в uwaterloo.ca
- Dr. Adrian BalintUlm University