Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2021 | 741 |
h-індекс | 24 | 16 |
i10-індекс | 45 | 26 |
Доступні для всіх
Переглянути всі39 статей
3 статті
доступні
недоступні
За умовами фінансування
Співавтори
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenПідтверджена електронна адреса в ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenПідтверджена електронна адреса в di.ku.dk
- Johannes HölzlПідтверджена електронна адреса в in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenПідтверджена електронна адреса в in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteПідтверджена електронна адреса в gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignПідтверджена електронна адреса в illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignПідтверджена електронна адреса в illinois.edu
- Nicholas SmallboneChalmers University of TechnologyПідтверджена електронна адреса в chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityПідтверджена електронна адреса в imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestПідтверджена електронна адреса в unibuc.ro
- Ioana LeusteanProfessor, University of BucharestПідтверджена електронна адреса в fmi.unibuc.ro
- Markus N RabeAugmentПідтверджена електронна адреса в augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityПідтверджена електронна адреса в cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceПідтверджена електронна адреса в dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenПідтверджена електронна адреса в in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauПідтверджена електронна адреса в uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHПідтверджена електронна адреса в kerguelen.org