Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 131 | 131 |
h-index | 8 | 8 |
i10-indeks | 6 | 6 |
Offentlig adgang
Se alle12 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerificeret mail på utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityVerificeret mail på stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyVerificeret mail på g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerificeret mail på ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenVerificeret mail på rug.nl
- David ParkerProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ CSVerificeret mail på zwmco.com
- Ufuk TopcuThe University of Texas at AustinVerificeret mail på utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityVerificeret mail på science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinVerificeret mail på utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerificeret mail på tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerificeret mail på tue.nl
- Arnd HartmannsUniversity of TwenteVerificeret mail på utwente.nl