自分のプロフィールを作成
オープン アクセス
すべて表示70 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Andrei PopescuUniversity of Sheffield確認したメール アドレス: sheffield.ac.uk
- Dmitriy TraytelUniversity of Copenhagen確認したメール アドレス: di.ku.dk
- Sophie TourretInria確認したメール アドレス: loria.fr
- Alexander BentkampHeinrich-Heine-Universität Düsseldorf確認したメール アドレス: hhu.de
- Lawrence PaulsonUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Petar VukmirovicVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Mathias FleuryUniversity Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Tobias NipkowProfessor of Computer Science, Technische Universität München確認したメール アドレス: in.tum.de
- Cezary KaliszykUniversity of Innsbruck確認したメール アドレス: uibk.ac.at
- Josef UrbanDistinguished Researcher at Czech Technical University in Prague確認したメール アドレス: cvut.cz
- Johannes Hölzl確認したメール アドレス: in.tum.de
- Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, France確認したメール アドレス: loria.fr
- Peter LammichThe University of Manchester確認したメール アドレス: in.tum.de
- Daniel KuehlweinCapgemini確認したメール アドレス: cs.ru.nl
- Andreas LochbihlerDigital Asset (Switzerland) GmbH確認したメール アドレス: inf.ethz.ch
- Anders SchlichtkrullAalborg University Copenhagen確認したメール アドレス: cs.aau.dk
- Lorenz PannyTechnische Universität München確認したメール アドレス: yx7.cc
- Stephan SchulzProfessor of Computer Science, DHBW Stuttgart確認したメール アドレス: eprover.org
- Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus確認したメール アドレス: mpi-inf.mpg.de
- Andrew ReynoldsUniversity of Iowa, Amazon Web Services確認したメール アドレス: uiowa.edu