Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2021 | 741 |
indice h | 24 | 16 |
indice i10 | 45 | 26 |
Accès public
Tout afficher39 articles
3 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenAdresse e-mail validée de ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
- Johannes HölzlAdresse e-mail validée de in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteAdresse e-mail validée de gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignAdresse e-mail validée de illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
- Nicholas SmallboneChalmers University of TechnologyAdresse e-mail validée de chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityAdresse e-mail validée de imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestAdresse e-mail validée de unibuc.ro
- Ioana LeusteanProfessor, University of BucharestAdresse e-mail validée de fmi.unibuc.ro
- Markus N RabeAugmentAdresse e-mail validée de augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceAdresse e-mail validée de dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenAdresse e-mail validée de in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauAdresse e-mail validée de uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHAdresse e-mail validée de kerguelen.org