自分のプロフィールを作成
オープン アクセス
すべて表示40 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Hadas Kress-GazitCornell University確認したメール アドレス: cornell.edu
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austria確認したメール アドレス: iaik.tugraz.at
- Robert KönighoferGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Hans-Jörg PeterSiemens EDA確認したメール アドレス: siemens.com
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de
- Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USA確認したメール アドレス: umich.edu
- Scott NiekumAssociate Professor, University of Massachusetts Amherst確認したメール アドレス: cs.umass.edu
- Mohammed AlshiekhResearcher at University of Texas at Austin確認したメール アドレス: utexas.edu
- Vasumathi Raman確認したメール アドレス: cds.caltech.edu
- Stavros TripakisAssociate Professor, Northeastern University確認したメール アドレス: northeastern.edu
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Michael GerkeSchloss Dagstuhl - Leibniz-Zentrum für Informatik確認したメール アドレス: dagstuhl.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campus確認したメール アドレス: cispa.saarland
- Robert MattmüllerUniversity of Freiburg, Germany確認したメール アドレス: robert-mattmueller.de
- Kai Weng Wong (Catherine Wong)Cornell University確認したメール アドレス: cornell.edu
- Min WenGoogle確認したメール アドレス: google.com
- Leander TentrupSaarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Adam WalkerNICTA/UNSW確認したメール アドレス: nicta.com.au