Crea il mio profilo
Accesso pubblico
Visualizza tutto12 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail verificata su rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail verificata su utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityEmail verificata su stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyEmail verificata su g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail verificata su ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenEmail verificata su rug.nl
- David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSEmail verificata su ubs.com
- Ufuk TopcuThe University of Texas at AustinEmail verificata su utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityEmail verificata su science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinEmail verificata su utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail verificata su tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail verificata su cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail verificata su tue.nl
- Arnd HartmannsUniversity of TwenteEmail verificata su utwente.nl