自分のプロフィールを作成
オープン アクセス
すべて表示31 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Marsha ChechikProfessor of Computer Science, University of Toronto確認したメール アドレス: cs.toronto.edu
- Jorge A NavasCertora確認したメール アドレス: certora.com
- Yakir VizelTechnion確認したメール アドレス: cs.technion.ac.il
- Aws AlbarghouthiUniversity of Wisconsin–Madison確認したメール アドレス: cs.wisc.edu
- Temesghen KahsaiPrincipal Applied Scientist @ Amazon確認したメール アドレス: amazon.com
- Nikolaj BjornerMicrosoft Research確認したメール アドレス: cs.stanford.edu
- Anvesh KomuravelliCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Sharon ShohamTel Aviv University確認したメール アドレス: tauex.tau.ac.il
- Ofer StrichmanTechnion, Haifa, Israel確認したメール アドレス: ie.technion.ac.il
- Grigory FedyukovichFlorida State University確認したメール アドレス: cs.fsu.edu
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Steve EasterbrookProfessor of Computer Science, University of Toronto確認したメール アドレス: cs.toronto.edu
- Yi LiNanyang Technological University確認したメール アドレス: ntu.edu.sg
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Jocelyn SimmondsAssociate Professor, Computer Science Department, University of Chile確認したメール アドレス: dcc.uchile.cl
- Jessica DaviesEpidemiologist確認したメール アドレス: roche.com
- Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Anton BelovSynopsys Inc.確認したメール アドレス: belov-mcdowell.com
- Zachary KincaidPrinceton University確認したメール アドレス: cs.princeton.edu
- Ipek OzkayaCarnegie Mellon University Software Engineering Institute確認したメール アドレス: sei.cmu.edu