Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2540 | 1953 |
h-індекс | 32 | 27 |
i10-індекс | 56 | 54 |
Доступні для всіх
Переглянути всі57 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПідтверджена електронна адреса в cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenПідтверджена електронна адреса в ru.nl
- Ufuk TopcuThe University of Texas at AustinПідтверджена електронна адреса в utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyПідтверджена електронна адреса в informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgПідтверджена електронна адреса в informatik.uni-freiburg.de
- Christian DehnertRWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinПідтверджена електронна адреса в utexas.edu
- Thom BadingsPhD Candidate, Radboud UniversityПідтверджена електронна адреса в ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyПідтверджена електронна адреса в tue.nl
- Steven CarrUniversity of Texas at AustinПідтверджена електронна адреса в utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityПідтверджена електронна адреса в science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonПідтверджена електронна адреса в cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyПідтверджена електронна адреса в iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteПідтверджена електронна адреса в utwente.nl
- Federico OlmedoUniversity of ChileПідтверджена електронна адреса в dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKПідтверджена електронна адреса в cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichПідтверджена електронна адреса в fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpПідтверджена електронна адреса в uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
Підписатись
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Підтверджена електронна адреса в rub.de - Домашня сторінка