Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 131 | 131 |
h-index | 8 | 8 |
i10-index | 6 | 6 |
Acces public
Afișați-le pe toate12 articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresă de e-mail confirmată pe rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresă de e-mail confirmată pe utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityAdresă de e-mail confirmată pe stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyAdresă de e-mail confirmată pe g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenAdresă de e-mail confirmată pe ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenAdresă de e-mail confirmată pe rug.nl
- David ParkerProfessor of Computer Science, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSAdresă de e-mail confirmată pe ubs.com
- Ufuk TopcuThe University of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityAdresă de e-mail confirmată pe science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyAdresă de e-mail confirmată pe tue.nl
- Arnd HartmannsUniversity of TwenteAdresă de e-mail confirmată pe utwente.nl