自分のプロフィールを作成
オープン アクセス
すべて表示15 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Orna KupfermanProfessor of Computer Science, The Hebrew University確認したメール アドレス: cs.huji.ac.il
- Joseph HalpernProfessor of Computer Science, Cornell University確認したメール アドレス: cs.cornell.edu
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
- Ofer StrichmanTechnion, Haifa, Israel確認したメール アドレス: ie.technion.ac.il
- Eitan FarchiIBM Research Lab in Haifa確認したメール アドレス: il.ibm.com
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Alexander IvriiIBM確認したメール アドレス: il.ibm.com
- Karine Even-MendozaKing's College London確認したメール アドレス: kcl.ac.uk
- Arie MatsliahPrinceton University確認したメール アドレス: princeton.edu
- Antti E. J. HyvärinenSenior Research Scientist, Certora確認したメール アドレス: certora.com
- Paul C AttieProfessor of Compuer Science, Augusta University確認したメール アドレス: augusta.edu
- Grigory FedyukovichFlorida State University確認したメール アドレス: cs.fsu.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- David LandsbergOxford University確認したメール アドレス: linacre.ox.ac.uk
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Matt LewisComputer Science Department, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Gregory ChocklerProfessor, University of Surrey確認したメール アドレス: surrey.ac.uk
- Sara BouchenakProfessor in Computer Science, INSA Lyon確認したメール アドレス: insa-lyon.fr
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk