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
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKDirección de correo verificada de cs.ox.ac.uk
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
Licio RomaoPostdoctoral Researcher, Stanford UniversityDirección de correo verificada de stanford.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenDirección de correo verificada de ru.nl
Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyDirección de correo verificada de g.uky.edu
David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Jacquelien M.A. ScherpenUniversity of GroningenDirección de correo verificada de rug.nl
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
Matthias VolkAssistant Professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
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
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