自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente確認したメール アドレス: cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Matthias VolkAssistant Professor, Eindhoven University of Technology確認したメール アドレス: tue.nl
- Tim QuatmannRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Ernst Moritz HahnUniversity of Twente確認したメール アドレス: utwente.nl
- Arnd HartmannsUniversity of Twente確認したメール アドレス: utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germany確認したメール アドレス: informatik.uni-freiburg.de
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Bernd BeckerProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Andrea TurriniInstitute of Software, Chinese Academy of Sciences確認したメール アドレス: ios.ac.cn
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italy確認したメール アドレス: unitn.it
- David N. JansenRadboud Universiteit Nijmegen確認したメール アドレス: cs.ru.nl
- Daniel GeblerVU University Amsterdam確認したメール アドレス: vu.nl