自分のプロフィールを作成
オープン アクセス
すべて表示17 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jasmin BlanchetteLudwig-Maximilians-Universität München確認したメール アドレス: ifi.lmu.de
- Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Maximilian HeisingerJohannes Kepler University確認したメール アドレス: jku.at
- Haniel BarbosaUniversidade Federal de Minas Gerais確認したメール アドレス: dcc.ufmg.br
- Peter LammichThe University of Manchester確認したメール アドレス: in.tum.de
- Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus確認したメール アドレス: mpi-inf.mpg.de
- Dmitriy TraytelUniversity of Copenhagen確認したメール アドレス: di.ku.dk
- Daniela KaufmannTU Wien確認したメール アドレス: tuwien.ac.at
- Andrei PopescuUniversity of Sheffield確認したメール アドレス: sheffield.ac.uk
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, France確認したメール アドレス: loria.fr
- Johannes Hölzl確認したメール アドレス: in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbH確認したメール アドレス: inf.ethz.ch
- Christian Sternagel確認したメール アドレス: uibk.ac.at
- Shaowei CaiInstitute of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Xindi Zhang (张昕荻)Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)確認したメール アドレス: ios.ac.cn