自分のプロフィールを作成
オープン アクセス
すべて表示5 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technology確認したメール アドレス: tue.nl
- Murat CubuktepeUniversity of Texas at Austin確認したメール アドレス: utexas.edu
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Ahmadreza MarandiAssistant Professor, Eindhoven University of Technology確認したメール アドレス: tue.nl
- Thom BadingsPhD Candidate, Radboud University確認したメール アドレス: ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden確認したメール アドレス: tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)確認したメール アドレス: tue.nl
- Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
- Arnd HartmannsUniversity of Twente確認したメール アドレス: utwente.nl
- Eline M. BovyPhD student, Radboud University確認したメール アドレス: ru.nl