自分のプロフィールを作成
オープン アクセス
すべて表示19 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Matthijs T. J. SpaanDelft University of Technology確認したメール アドレス: tudelft.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Qisong YangDelft University of Technology確認したメール アドレス: tudelft.nl
- Simon TindemansTU Delft確認したメール アドレス: tudelft.nl
- Marnix SuilenPhD Candidate, Radboud University確認したメール アドレス: science.ru.nl
- Remi Tachet des Combes確認したメール アドレス: alpacaml.com
- Romain LarocheMicrosoft Research確認したメール アドレス: polytechnique.org
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Danial KamranInstitute for Measurement and Control Systems, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Canmanie Teresa PonnambalamTUDelft確認したメール アドレス: tudelft.nl
- Thom BadingsPhD Candidate, Radboud University確認したメール アドレス: ru.nl
- Merlijn KralePhD, Radboud University Nijmegen確認したメール アドレス: ru.nl
- Martin LauerKarlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Johannes FischerKarlsruhe Institute of Technology (KIT)確認したメール アドレス: kit.edu
- 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
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
- Alessandro FarinelliFull professor of Computer Science, University of Verona確認したメール アドレス: univr.it
- Alberto CastelliniUniversità degli studi di Verona確認したメール アドレス: univr.it
フォロー
Thiago D. Simão
Assistant Professor at Eindhoven University of Technology
確認したメール アドレス: tue.nl - ホームページ