Utwórz swój profil
Cytowane przez
Wszystkie | Od 2020 | |
---|---|---|
Cytowania | 208 | 204 |
h-indeks | 8 | 8 |
i10-indeks | 8 | 7 |
Dostęp publiczny
Wyświetl wszystko13 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 RomaoAssistant Professor, Technical University of Denmark (DTU)Zweryfikowany adres z dtu.dk
Sebastian JungesAssistant Professor, Radboud University, NijmegenZweryfikowany adres z ru.nl
Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyZweryfikowany adres z uky.edu
David ParkerProfessor of Computer Science, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Jacquelien M.A. ScherpenUniversity of GroningenZweryfikowany adres z rug.nl
Vahab RostampourSenior Scientist @ UBSZweryfikowany adres z ubs.com
Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
Marnix SuilenPostdoctoral Researcher, University of AntwerpZweryfikowany adres z uantwerpen.be
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
Obserwuj
Thom Badings
Postdoctoral researcher, University of Oxford
Zweryfikowany adres z cs.ox.ac.uk - Strona główna