自分のプロフィールを作成
オープン アクセス
すべて表示57 件の論文
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
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germany確認したメール アドレス: informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at Austin確認したメール アドレス: utexas.edu
- Christian DehnertRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud University確認したメール アドレス: ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technology確認したメール アドレス: tue.nl
- Steven CarrUniversity of Texas at Austin確認したメール アドレス: utexas.edu
- Marnix SuilenPhD Candidate, Radboud University確認したメール アドレス: science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College London確認したメール アドレス: cs.uni-saarland.de
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente確認したメール アドレス: utwente.nl
- Federico OlmedoUniversity of Chile確認したメール アドレス: dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of Munich確認したメール アドレス: fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of Antwerp確認したメール アドレス: uantwerp.be
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
フォロー
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
確認したメール アドレス: rub.de - ホームページ