自分のプロフィールを作成
オープン アクセス
すべて表示43 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Igor KonnovIndependent Security and Formal Methods Researcher確認したメール アドレス: konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU München確認したメール アドレス: in.tum.de
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Ayrat KhalimovTU Clausthal確認したメール アドレス: tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campus確認したメール アドレス: cispa.saarland
- Martin BielyGoogle確認したメール アドレス: google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M University確認したメール アドレス: cse.tamu.edu
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & Inria確認したメール アドレス: lsv.fr
- Florian ZulegerAssociate Professor, TU Wien確認したメール アドレス: forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software Systems確認したメール アドレス: mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFL確認したメール アドレス: epfl.ch
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074確認したメール アドレス: irisa.fr
- Srikanth SastryGoogle Inc確認したメール アドレス: csail.mit.edu