自分のプロフィールを作成
オープン アクセス
すべて表示67 件の論文
4 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Enno RuijtersUniversiteit Twente確認したメール アドレス: utwente.nl
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa Cruz確認したメール アドレス: alumni.stanford.edu
- Mark TimmerLecturer in Mathematics Education, University of Twente, The Netherlands確認したメール アドレス: utwente.nl
- Jaco van de PolProfessor of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente確認したメール アドレス: cs.rwth-aachen.de
- Dennis GuckTWT GmbH確認したメール アドレス: twt-gmbh.de
- Pepijn CrouzenGoogle inc.確認したメール アドレス: google.com
- Thomas HenzingerIST Austria確認したメール アドレス: ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", Italy確認したメール アドレス: unina.it
- Rupak MajumdarMPI for Software Systems確認したメール アドレス: mpi-sws.org
- Frits W. VaandragerProfessor of Computer Science, Radboud University確認したメール アドレス: cs.ru.nl
- Rajesh KumarAssistant Professor, BITS-Pilani | PhD, University of Twente | MS, Scuola Superiore Sant Anna, Pisa確認したメール アドレス: pilani.bits-pilani.ac.in
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, Italy確認したメール アドレス: unitn.it
- Arend RensinkProfessor in Computer Science, University of Twente確認したメール アドレス: utwente.nl
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg University確認したメール アドレス: uvt.nl
- Waheed AhmadApplied Materials確認したメール アドレス: amat.com
- Judi RomijnSabbatical, career switch確認したメール アドレス: xs4all.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
フォロー
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
確認したメール アドレス: utwente.nl - ホームページ