Mijn eigen profiel maken
Openbare toegang
Alles bekijken39 artikelen
3 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenGeverifieerd e-mailadres voor di.ku.dk
- Johannes HölzlGeverifieerd e-mailadres voor in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenGeverifieerd e-mailadres voor in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteGeverifieerd e-mailadres voor gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignGeverifieerd e-mailadres voor illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignGeverifieerd e-mailadres voor illinois.edu
- Nicholas SmallboneChalmers University of TechnologyGeverifieerd e-mailadres voor chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityGeverifieerd e-mailadres voor imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestGeverifieerd e-mailadres voor unibuc.ro
- Ioana LeusteanProfessor, University of BucharestGeverifieerd e-mailadres voor fmi.unibuc.ro
- Markus N RabeStartupGeverifieerd e-mailadres voor augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityGeverifieerd e-mailadres voor cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceGeverifieerd e-mailadres voor dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenGeverifieerd e-mailadres voor in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauGeverifieerd e-mailadres voor uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHGeverifieerd e-mailadres voor kerguelen.org