自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- David O'HallaronProfessor of CS and ECE, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Miroslav N. VelevAries Design Automation, LLC確認したメール アドレス: aries-da.com
- Shuvendu LahiriSenior Principal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin確認したメール アドレス: cs.wisc.edu
- Carl SegerWASP Professor at Chalmers University of Technology確認したメール アドレス: chalmers.se
- Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Jiří ŠimšaGoogle確認したメール アドレス: google.com
- Manish PandeyAdjunct Professor, ECE Department at Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Garth Alan GibsonPresident & CEO, Vector Institute; Consulting Professor of Computer Science, Carnegie Mellon確認したメール アドレス: vectorinstitute.ai
- Ofer StrichmanTechnion, Haifa, Israel確認したメール アドレス: ie.technion.ac.il
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Tom ShefflerRoche Sequencing Solutions確認したメール アドレス: alumni.virginia.edu
- Dawn SongProfessor of Computer Science, UC Berkeley確認したメール アドレス: cs.berkeley.edu
- Mihai ChristodorescuGoogle確認したメール アドレス: christodorescu.org
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Randy KatzUniversity of California, Berkeley確認したメール アドレス: cs.Berkeley.edu
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Ed LazowskaBill & Melinda Gates Chair in Computer Science & Engineering, University of Washington確認したメール アドレス: cs.washington.edu