Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen39 Artikel
3 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenBestätigte E-Mail-Adresse bei ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenBestätigte E-Mail-Adresse bei di.ku.dk
- Johannes HölzlBestätigte E-Mail-Adresse bei in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenBestätigte E-Mail-Adresse bei in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteBestätigte E-Mail-Adresse bei gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignBestätigte E-Mail-Adresse bei illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignBestätigte E-Mail-Adresse bei illinois.edu
- Nicholas SmallboneChalmers University of TechnologyBestätigte E-Mail-Adresse bei chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityBestätigte E-Mail-Adresse bei imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestBestätigte E-Mail-Adresse bei unibuc.ro
- Ioana LeusteanProfessor, University of BucharestBestätigte E-Mail-Adresse bei fmi.unibuc.ro
- Markus N RabeAugmentBestätigte E-Mail-Adresse bei augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityBestätigte E-Mail-Adresse bei cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceBestätigte E-Mail-Adresse bei dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenBestätigte E-Mail-Adresse bei in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauBestätigte E-Mail-Adresse bei uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHBestätigte E-Mail-Adresse bei kerguelen.org