自分のプロフィールを作成
オープン アクセス
すべて表示29 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Martina SeidlUniv.-Prof., JKU Linz確認したメール アドレス: jku.at
- Clark BarrettStanford University確認したメール アドレス: cs.stanford.edu
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Subhasish MitraWilliam E. Ayer Professor, Stanford University確認したメール アドレス: stanford.edu
- Makai MannTechnical Staff, MIT Lincoln Laboratory確認したメール アドレス: ll.mit.edu
- Mikoláš JanotaCTU Prague確認したメール アドレス: cvut.cz
- Eshan SinghStanford University確認したメール アドレス: stanford.edu
- Robert KönighoferGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Matti JärvisaloProfessor, University of Helsinki確認したメール アドレス: helsinki.fi
- Aina NiemetzStanford University確認したメール アドレス: cs.stanford.edu
- Mathias PreinerStanford University確認したメール アドレス: cs.stanford.edu
- Saranyu ChattopadhyayStanford University確認したメール アドレス: stanford.edu
- Vedad HadžićPhD Candidate, TU Graz確認したメール アドレス: iaik.tugraz.at
- Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany確認したメール アドレス: uni-jena.de
- Fahiem BacchusProfessor of Computer Science, University of Toronto確認したメール アドレス: cs.toronto.edu
- Ahmed IrfanSRI International確認したメール アドレス: cs.stanford.edu
- Hongce ZhangHong Kong University of Science and Technology (Guangzhou)確認したメール アドレス: ust.hk
- Kristopher S. BrownTopos Institute確認したメール アドレス: topos.institute