Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2021 | 741 |
h-indeks | 24 | 16 |
i10-indeks | 45 | 26 |
Dostęp publiczny
Wyświetl wszystko39 artykułów
3 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenZweryfikowany adres z ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenZweryfikowany adres z di.ku.dk
- Johannes HölzlZweryfikowany adres z in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenZweryfikowany adres z in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteZweryfikowany adres z gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignZweryfikowany adres z illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignZweryfikowany adres z illinois.edu
- Nicholas SmallboneChalmers University of TechnologyZweryfikowany adres z chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityZweryfikowany adres z imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestZweryfikowany adres z unibuc.ro
- Ioana LeusteanProfessor, University of BucharestZweryfikowany adres z fmi.unibuc.ro
- Markus N RabeAugmentZweryfikowany adres z augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityZweryfikowany adres z cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceZweryfikowany adres z dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenZweryfikowany adres z in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauZweryfikowany adres z uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHZweryfikowany adres z kerguelen.org