自分のプロフィールを作成
オープン アクセス
すべて表示26 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Antti E. J. HyvärinenSenior Research Scientist, Certora確認したメール アドレス: certora.com
- Arie GurfinkelUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Rastislav BodikUniversity of Washington確認したメール アドレス: cs.washington.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Hana ChocklerKing's College London確認したメール アドレス: kcl.ac.uk
- Karine Even-MendozaKing's College London確認したメール アドレス: kcl.ac.uk
- Michael W WhalenAmazon, Inc. and the University of Minnesota確認したメール アドレス: cs.umn.edu
- Andreas KatisComputer Scientist, KBR at NASA Ames Research Center確認したメール アドレス: nasa.gov
- Leonardo MarianiUniversity of Milano - Bicocca確認したメール アドレス: unimib.it
- Simone Fulvio RolliniUniversity of Lugano確認したメール アドレス: usi.ch
- Fabrizio PastoreResearch Scientist, University of Luxembourg確認したメール アドレス: uni.lu
- Ajitha RajanUniversity of Edinburgh確認したメール アドレス: staffmail.ed.ac.uk
- Manuel OriolConstructor Institute Schaffhausen確認したメール アドレス: constructor.org
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk
- Giovanni DenaroUniversity of Milano-Bicocca確認したメール アドレス: disco.unimib.it