自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Viktor KunčakEPFL確認したメール アドレス: epfl.ch
- Heiko Beckeritemis AG確認したメール アドレス: itemis.com
- Anastasia IsychevTechnical University of Munich確認したメール アドレス: in.tum.de
- Zachary TatlockUniversity of Washington確認したメール アドレス: cs.washington.edu
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Dan GrossmanComputer Science, University of Washington確認したメール アドレス: cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.確認したメール アドレス: certora.com
- Magnus MyreenChalmers University of Technology確認したメール アドレス: cl.cam.ac.uk
- Debasmita LoharPostdoctoral Researcher, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Babak FalsafiProfessor of Computer Science, EPFL確認したメール アドレス: epfl.ch
- Phillip Stanley-MarbellUniversity of Cambridge確認したメール アドレス: eng.cam.ac.uk
- Andreas GerstlauerEletrical and Computer Engineering, The University of Texas at Austin確認したメール アドレス: ece.utexas.edu
- Max WillseyUC Berkeley確認したメール アドレス: eecs.berkeley.edu
- James R. WilcoxUniversity of Washington確認したメール アドレス: cs.washington.edu
- Fabian RitterPhD Candidate, Computer Science, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Adrian SampsonComputer Science, Cornell University確認したメール アドレス: cornell.edu
- Natalie Enright JergerUniversity of Toronto確認したメール アドレス: eecg.toronto.edu
- Lara DolecekElectrical Engineering, UCLA確認したメール アドレス: ee.ucla.edu
- Mattia CacciottiÉcole Polytechnique Fédérale de Lausanne確認したメール アドレス: epfl.ch
- Sasa MisailovicUniversity of Illinois at Urbana–Champaign確認したメール アドレス: illinois.edu