Mijn eigen profiel maken
Openbare toegang
Alles bekijken12 artikelen
2 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumGeverifieerd e-mailadres voor rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteGeverifieerd e-mailadres voor utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKGeverifieerd e-mailadres voor cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyGeverifieerd e-mailadres voor g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenGeverifieerd e-mailadres voor ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenGeverifieerd e-mailadres voor rug.nl
- David ParkerProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ CSGeverifieerd e-mailadres voor zwmco.com
- Ufuk TopcuThe University of Texas at AustinGeverifieerd e-mailadres voor utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityGeverifieerd e-mailadres voor science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinGeverifieerd e-mailadres voor utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Arnd HartmannsUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl