Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 2021 | 741 |
Índice h | 24 | 16 |
Índice i10 | 45 | 26 |
Acceso público
Ver todo39 artículos
3 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenDirección de correo verificada de ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenDirección de correo verificada de di.ku.dk
- Johannes HölzlDirección de correo verificada de in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteDirección de correo verificada de gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignDirección de correo verificada de illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
- Nicholas SmallboneChalmers University of TechnologyDirección de correo verificada de chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityDirección de correo verificada de imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestDirección de correo verificada de unibuc.ro
- Ioana LeusteanProfessor, University of BucharestDirección de correo verificada de fmi.unibuc.ro
- Markus N RabeAugmentDirección de correo verificada de augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceDirección de correo verificada de dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenDirección de correo verificada de in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauDirección de correo verificada de uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHDirección de correo verificada de kerguelen.org