Založit si vlastní profil
Veřejný přístup
Zobrazit všechny39 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Dmitriy TraytelUniversity of CopenhagenE-mailová adresa ověřena na: di.ku.dk
- Johannes HölzlE-mailová adresa ověřena na: in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenE-mailová adresa ověřena na: in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteE-mailová adresa ověřena na: gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignE-mailová adresa ověřena na: illinois.edu
- Grigore RosuUniversity of Illinois at Urbana ChampaignE-mailová adresa ověřena na: illinois.edu
- Nicholas SmallboneChalmers University of TechnologyE-mailová adresa ověřena na: chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityE-mailová adresa ověřena na: imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of BucharestE-mailová adresa ověřena na: unibuc.ro
- Ioana LeusteanProfessor, University of BucharestE-mailová adresa ověřena na: fmi.unibuc.ro
- Markus N RabeAugmentE-mailová adresa ověřena na: augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityE-mailová adresa ověřena na: cispa.de
- Dieter HutterGerman Research Center for Artificial IntelligenceE-mailová adresa ověřena na: dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU MünchenE-mailová adresa ověřena na: in.tum.de
- Christian HammerProfessor of Computer Science at University of PassauE-mailová adresa ověřena na: uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHE-mailová adresa ověřena na: kerguelen.org