自分のプロフィールを作成
オープン アクセス
すべて表示42 件の論文
1 件の論文*
利用可能
利用不可
助成機関の要件に基づく
共著者
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Philipp WendlerLMU Munich, Germany確認したメール アドレス: lmu.de
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Matthias DanglLudwig-Maximilians-Universität München確認したメール アドレス: sosy.ifi.lmu.de
- Stefan Löwe確認したメール アドレス: fim.uni-passau.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- Thomas LembergerLMU Munich確認したメール アドレス: lmu.de
- Alexander von RheinUniversity of Passau確認したメール アドレス: fim.uni-passau.de
- Claus LewerentzProfessor für Softwaretechnik, BTU Cottbus確認したメール アドレス: tu-cottbus.de
- Andreas StahlbauerUniversity of Passau確認したメール アドレス: uni-passau.de
- Friedberger KarlheinzLMU Munich確認したメール アドレス: lmu.de
- Marieke Huisman確認したメール アドレス: ewi.utwente.nl
- Bernhard SteffenProfessor für Informatik, TU Dortmund確認したメール アドレス: cs.uni-dortmund.de
- Adam ChlipalaMIT CSAIL確認したメール アドレス: csail.mit.edu
- Marie-Christine JakobsLMU München確認したメール アドレス: sosy.ifi.lmu.de
- Matthias HeizmannUniversity of Freiburg, Germany確認したメール アドレス: heizmann.name
- Daniel DietschUniversity Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Andrey RybalchenkoMicrosoft Research確認したメール アドレス: microsoft.com
- Heike WehrheimUniversity of Oldenburg確認したメール アドレス: uni-oldenburg.de
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk