自分のプロフィールを作成
オープン アクセス
すべて表示44 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Daniel KroeningAmazon確認したメール アドレス: amazon.com
- Antti E. J. HyvärinenSenior Research Scientist, Certora確認したメール アドレス: certora.com
- Grigory FedyukovichFlorida State University確認したメール アドレス: cs.fsu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Aliaksei TsitovichCarity確認したメール アドレス: carity.care
- Francesco AlbertiEolo SpA確認したメール アドレス: eolo.it
- Roberto BruttomessoExpert Researcher and Software Engineer確認したメール アドレス: atrenta.com
- silvio ghilardiUniversità degli Studi di Milano確認したメール アドレス: unimi.it
- Matteo MarescottiMeta, London確認したメール アドレス: meta.com
- Ondrej SeryAssitent professor, Charles University in Prague確認したメール アドレス: usi.ch
- Nishant SinhaFounder, Chief Scientist, OffNote Labs確認したメール アドレス: in.ibm.com
- Simone Fulvio RolliniUniversity of Lugano確認したメール アドレス: usi.ch
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, Switzerland確認したメール アドレス: usi.ch
- Christoph M. WintersteigerImandra確認したメール アドレス: imandra.ai
- Stefano TonettaFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Arie GurfinkelUniversity of Waterloo確認したメール アドレス: uwaterloo.ca
- Byron CookProfessor of Computer Science, UCL, Amazon確認したメール アドレス: cs.ucl.ac.uk
- Hana ChocklerKing's College London確認したメール アドレス: kcl.ac.uk
- Silvio RaniseFBK確認したメール アドレス: fbk.eu
フォロー
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
確認したメール アドレス: usi.ch - ホームページ