Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 2525 | 1938 |
h-индекс | 32 | 27 |
i10-индекс | 55 | 53 |
Публичен достъп
Преглед на всички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
- Murat CubuktepeUniversity of Texas at AustinПотвърден имейл адрес: utexas.edu
- Christian DehnertRWTH Aachen UniversityПотвърден имейл адрес: cs.rwth-aachen.de
- 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 - Начална страница