Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 131 | 131 |
Índice h | 8 | 8 |
Índice i10 | 6 | 6 |
Acesso público
Ver todos12 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail confirmado em rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mail confirmado em utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail confirmado em cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityE-mail confirmado em stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyE-mail confirmado em g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mail confirmado em ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenE-mail confirmado em rug.nl
- David ParkerProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ CSE-mail confirmado em zwmco.com
- Ufuk TopcuThe University of Texas at AustinE-mail confirmado em utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityE-mail confirmado em science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinE-mail confirmado em utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyE-mail confirmado em tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mail confirmado em cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mail confirmado em tue.nl
- Arnd HartmannsUniversity of TwenteE-mail confirmado em utwente.nl