自分のプロフィールを作成
オープン アクセス
すべて表示30 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Ayrat KhalimovTU Clausthal確認したメール アドレス: tu-clausthal.de
- Sasha RubinUniversity of Sydney確認したメール アドレス: sydney.edu.au
- Viorica Sofronie-StokkermansProfessor, University of Koblenz確認したメール アドレス: uni-koblenz.de
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Josef WidderInformal Systems確認したメール アドレス: informal.systems
- Leander TentrupSaarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Guillermo A. PérezAssociate Professor, University of Antwerp確認したメール アドレス: uantwerp.be
- Robert KönighoferGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg University確認したメール アドレス: uni.lu
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.確認したメール アドレス: ulb.ac.be
- Ocan SankurCNRS, Université de Rennes確認したメール アドレス: irisa.fr
- Roopsha SamantaAssistant Professor, Purdue University確認したメール アドレス: purdue.edu
- Adam WalkerNICTA/UNSW確認したメール アドレス: nicta.com.au
- Romain BrenguierUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue University確認したメール アドレス: purdue.edu
- Viktor KunčakEPFL確認したメール アドレス: epfl.ch
- Christopher WagnerPurdue University確認したメール アドレス: purdue.edu