Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 1265 | 526 |
h-індекс | 10 | 8 |
i10-індекс | 10 | 5 |
Доступні для всіх
Переглянути всі9 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyПідтверджена електронна адреса в kit.edu
- Stefan MitschSchool of Computing, DePaul UniversityПідтверджена електронна адреса в depaul.edu
- Sarah M. LoosGoogleПідтверджена електронна адреса в google.com
- Nikos ArechigaToyota Research InstituteПідтверджена електронна адреса в tri.global
- Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Підтверджена електронна адреса в amazon.com
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgПідтверджена електронна адреса в uni.lu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgПідтверджена електронна адреса в ur.de
- Martin FränzleProfessor of Computer Science, University of OldenburgПідтверджена електронна адреса в informatik.uni-oldenburg.de
- Andreas SchaeferUniversity of Applied Sciences LuebeckПідтверджена електронна адреса в th-luebeck.de
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Підтверджена електронна адреса в iist.unu.edu
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgПідтверджена електронна адреса в informatik.uni-oldenburg.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH