自分のプロフィールを作成
オープン アクセス
すべて表示17 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrei PopescuUniversity of Sheffield確認したメール アドレス: sheffield.ac.uk
- Tobias NipkowProfessor of Computer Science, Technische Universität München確認したメール アドレス: in.tum.de
- Andreas LochbihlerDigital Asset (Switzerland) GmbH確認したメール アドレス: inf.ethz.ch
- Dmitriy TraytelUniversity of Copenhagen確認したメール アドレス: di.ku.dk
- Jasmin BlanchetteLudwig-Maximilians-Universität München確認したメール アドレス: ifi.lmu.de
- Lorenz PannyTechnische Universität München確認したメール アドレス: yx7.cc
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon University確認したメール アドレス: cmu.edu
- Manuel EberlUniversity of Innsbruck確認したメール アドレス: uibk.ac.at
- Mathias FleuryUniversity Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Christian Sternagel確認したメール アドレス: uibk.ac.at
- Ali Sinan KöksalPhD in Computer Science, UC Berkeley確認したメール アドレス: cs.berkeley.edu
- Mooly SagivTel Aviv University確認したメール アドレス: acm.org
- Rastislav BodikUniversity of Washington確認したメール アドレス: cs.washington.edu
- Robert Y. LewisLecturer, Brown University確認したメール アドレス: brown.edu
- Sander R. DahmenResearcher, VU University Amsterdam確認したメール アドレス: vu.nl
- Simon WimmerFakultät für Informatik, Technische Universität München確認したメール アドレス: in.tum.de
- Alexander BentkampHeinrich-Heine-Universität Düsseldorf確認したメール アドレス: hhu.de