Obter o meu próprio perfil
Citado por
Todos | Desde 2020 | |
---|---|---|
Citações | 219 | 217 |
Índice h | 8 | 8 |
Índice i10 | 8 | 8 |
Acesso público
Ver tudo14 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 RomaoAssistant Professor, Technical University of Denmark (DTU)Email confirmado em dtu.dk
Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail confirmado em ru.nl
Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyEmail confirmado em 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
Marnix SuilenPostdoctoral Researcher, University of AntwerpEmail confirmado em uantwerpen.be
Ufuk TopcuThe University of Texas at AustinEmail confirmado em utexas.edu
Murat CubuktepeUniversity of Texas at AustinEmail confirmado em utexas.edu
Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail confirmado em tue.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
Thiago D. SimãoEindhoven University of TechnologyEmail confirmado em tue.nl
Arnd HartmannsUniversity of TwenteEmail confirmado em utwente.nl
Seguir
Thom Badings
Postdoctoral researcher, University of Oxford
Email confirmado em cs.ox.ac.uk - Página inicial