Получаване на мой собствен потребителски профил
Позовавания
Всички | От 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