Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 133 | 133 |
indeks-h | 8 | 8 |
indeks-i10 | 6 | 6 |
Akses publik
Lihat semua12 artikel
2 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail yang diverifikasi di rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail yang diverifikasi di utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityEmail yang diverifikasi di stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyEmail yang diverifikasi di g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail yang diverifikasi di ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenEmail yang diverifikasi di rug.nl
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSEmail yang diverifikasi di ubs.com
- Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityEmail yang diverifikasi di science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail yang diverifikasi di cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Arnd HartmannsUniversity of TwenteEmail yang diverifikasi di utwente.nl