Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 2021 | 741 |
h-indeks | 24 | 16 |
i10-indeks | 45 | 26 |
Offentlig tilgang
Vis alle39 artikler
3 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifisert e-postadresse på ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenVerifisert e-postadresse på di.ku.dk
- Johannes HölzlVerifisert e-postadresse på in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerifisert e-postadresse på gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerifisert e-postadresse på illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignVerifisert e-postadresse på illinois.edu
- Nicholas SmallboneChalmers University of TechnologyVerifisert e-postadresse på chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerifisert e-postadresse på imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestVerifisert e-postadresse på unibuc.ro
- Ioana LeusteanProfessor, University of BucharestVerifisert e-postadresse på fmi.unibuc.ro
- Markus N RabeAugmentVerifisert e-postadresse på augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerifisert e-postadresse på cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceVerifisert e-postadresse på dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerifisert e-postadresse på in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauVerifisert e-postadresse på uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifisert e-postadresse på kerguelen.org