Crea el meu perfil
Accés públic
Mostra-ho tot12 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityCorreu electrònic verificat a stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyCorreu electrònic verificat a g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenCorreu electrònic verificat a rug.nl
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSCorreu electrònic verificat a ubs.com
- Ufuk TopcuThe University of Texas at AustinCorreu electrònic verificat a utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityCorreu electrònic verificat a science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinCorreu electrònic verificat a utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Arnd HartmannsUniversity of TwenteCorreu electrònic verificat a utwente.nl