Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2021 | 741 |
h-index | 24 | 16 |
i10-index | 45 | 26 |
Nyilvános hozzáférés
Összes megtekintése39 cikk
3 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mail megerősítve itt: ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenE-mail megerősítve itt: di.ku.dk
- Johannes HölzlE-mail megerősítve itt: in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mail megerősítve itt: in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteE-mail megerősítve itt: gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignE-mail megerősítve itt: illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail megerősítve itt: illinois.edu
- Nicholas SmallboneChalmers University of TechnologyE-mail megerősítve itt: chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityE-mail megerősítve itt: imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestE-mail megerősítve itt: unibuc.ro
- Ioana LeusteanProfessor, University of BucharestE-mail megerősítve itt: fmi.unibuc.ro
- Markus N RabeAugmentE-mail megerősítve itt: augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mail megerősítve itt: cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceE-mail megerősítve itt: dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenE-mail megerősítve itt: in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauE-mail megerősítve itt: uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mail megerősítve itt: kerguelen.org