自分のプロフィールを作成
オープン アクセス
すべて表示39 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jasmin BlanchetteLudwig-Maximilians-Universität München確認したメール アドレス: ifi.lmu.de
- Dmitriy TraytelUniversity of Copenhagen確認したメール アドレス: di.ku.dk
- Johannes Hölzl確認したメール アドレス: in.tum.de
- Tobias NipkowProfessor of Computer Science, Technische Universität München確認したメール アドレス: in.tum.de
- Franco RaimondiProfessor of Computer Science, Gran Sasso Science Institute確認したメール アドレス: gssi.it
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaign確認したメール アドレス: illinois.edu
- Grigore RosuUniversity of Illinois at Urbana Champaign確認したメール アドレス: illinois.edu
- Nicholas SmallboneChalmers University of Technology確認したメール アドレス: chalmers.se
- Daniel GAINAInstitute of Mathematics for Industry, Kyushu University確認したメール アドレス: imi.kyushu-u.ac.jp
- Traian Florin ȘerbănuțăUniversity of Bucharest確認したメール アドレス: unibuc.ro
- Ioana LeusteanProfessor, University of Bucharest確認したメール アドレス: fmi.unibuc.ro
- Markus N RabeAugment確認したメール アドレス: augmentcode.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Dieter HutterGerman Research Center for Artificial Intelligence確認したメール アドレス: dfki.de
- Helmut SeidlProfessor für Informatik, School of CIT, TU München確認したメール アドレス: in.tum.de
- Christian HammerProfessor of Computer Science at University of Passau確認したメール アドレス: uni-passau.de
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbH確認したメール アドレス: kerguelen.org