Crear mi propio perfil
Acceso público
Ver todo12 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumDirección de correo verificada de rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityDirección de correo verificada de stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyDirección de correo verificada de g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenDirección de correo verificada de rug.nl
- David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSDirección de correo verificada de ubs.com
- Ufuk TopcuThe University of Texas at AustinDirección de correo verificada de utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityDirección de correo verificada de science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinDirección de correo verificada de utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyDirección de correo verificada de tue.nl
- Arnd HartmannsUniversity of TwenteDirección de correo verificada de utwente.nl