Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2023 | 743 |
h-index | 24 | 16 |
i10-indeks | 45 | 26 |
Offentlig adgang
Se alle39 artikler
3 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerificeret mail på ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenVerificeret mail på di.ku.dk
- Johannes HölzlVerificeret mail på in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerificeret mail på in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerificeret mail på gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerificeret mail på illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignVerificeret mail på illinois.edu
- Nicholas SmallboneChalmers University of TechnologyVerificeret mail på chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerificeret mail på imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestVerificeret mail på unibuc.ro
- Ioana LeusteanProfessor, University of BucharestVerificeret mail på fmi.unibuc.ro
- Markus N RabeAugmentVerificeret mail på augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerificeret mail på cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceVerificeret mail på dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerificeret mail på in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauVerificeret mail på uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerificeret mail på kerguelen.org