自分のプロフィールを作成
オープン アクセス
すべて表示37 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico II確認したメール アドレス: unina.it
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di Roma確認したメール アドレス: diag.uniroma1.it
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTC確認したメール アドレス: uestc.edu.cn
- Bastien MaubertUniversità degli Studi di Napoli Federico II確認したメール アドレス: unina.it
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Ayrat KhalimovTU Clausthal確認したメール アドレス: tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campus確認したメール アドレス: cispa.saarland
- Josef WidderInformal Systems確認したメール アドレス: informal.systems
- Alessio R LomuscioImperial College London確認したメール アドレス: imperial.ac.uk
- Florian ZulegerAssociate Professor, TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer Science確認したメール アドレス: comp.nus.edu.sg
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Francesco BelardinelliImperial College London確認したメール アドレス: imperial.ac.uk
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Vadim MalvoneTélécom Paris確認したメール アドレス: telecom-paris.fr
- Francesco SpegniUniversita` Politecnica delle Marche確認したメール アドレス: univpm.it
- Antonio Di StasioSenior Research Associate, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Andre NiesUniversity of Auckland確認したメール アドレス: cs.auckland.ac.nz
- Giuseppe PerelliAssistant Professor at Sapienza University of Rome確認したメール アドレス: di.uniroma1.it