自分のプロフィールを作成
オープン アクセス
すべて表示48 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente確認したメール アドレス: cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Tim QuatmannRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of Technology確認したメール アドレス: tue.nl
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Christian DehnertRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de
- Milan CeskaBrno University of Technology確認したメール アドレス: fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at Austin確認したメール アドレス: utexas.edu
- Arnd HartmannsUniversity of Twente確認したメール アドレス: utwente.nl
- 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
- Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley確認したメール アドレス: eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente確認したメール アドレス: utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, Austria確認したメール アドレス: iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of Technology確認したメール アドレス: vutbr.cz
- Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italy確認したメール アドレス: unitn.it
- Gereon KremerCertora Ltd確認したメール アドレス: cs.stanford.edu
- Ulrich LoupRWTH Aachen University確認したメール アドレス: cs.rwth-aachen.de