Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 131 | 131 |
h-indeks | 8 | 8 |
i10-indeks | 6 | 6 |
Dostęp publiczny
Wyświetl wszystko12 artykułów
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKZweryfikowany adres z cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityZweryfikowany adres z stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyZweryfikowany adres z g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenZweryfikowany adres z rug.nl
- David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSZweryfikowany adres z ubs.com
- Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityZweryfikowany adres z science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinZweryfikowany adres z utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyZweryfikowany adres z tue.nl
- Arnd HartmannsUniversity of TwenteZweryfikowany adres z utwente.nl