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