自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Vadim Ryvchin確認したメール アドレス: tx.technion.ac.il
- Arie GurfinkelUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Hana ChocklerKing's College London確認したメール アドレス: kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Randal BryantCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University確認したメール アドレス: nau.edu
- Alexander NadelReseach Scientist, Intel & Technion確認したメール アドレス: intel.com
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at