Skapa en profil
Offentlig åtkomst
Visa alla39 artiklar
3 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerifierad e-postadress på ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenVerifierad e-postadress på di.ku.dk
- Johannes HölzlVerifierad e-postadress på in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerifierad e-postadress på gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerifierad e-postadress på illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignVerifierad e-postadress på illinois.edu
- Nicholas SmallboneChalmers University of TechnologyVerifierad e-postadress på chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerifierad e-postadress på imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestVerifierad e-postadress på unibuc.ro
- Ioana LeusteanProfessor, University of BucharestVerifierad e-postadress på fmi.unibuc.ro
- Markus N RabeStartupVerifierad e-postadress på augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerifierad e-postadress på cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceVerifierad e-postadress på dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenVerifierad e-postadress på in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauVerifierad e-postadress på uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org