Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 2819 | 2319 |
h-індекс | 28 | 25 |
i10-індекс | 49 | 47 |
Доступні для всіх
Переглянути всі48 статей
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПідтверджена електронна адреса в cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumПідтверджена електронна адреса в rub.de
- Tim QuatmannRWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyПідтверджена електронна адреса в tue.nl
- Ufuk TopcuThe University of Texas at AustinПідтверджена електронна адреса в utexas.edu
- Christian DehnertRWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyПідтверджена електронна адреса в fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinПідтверджена електронна адреса в utexas.edu
- Arnd HartmannsUniversity of TwenteПідтверджена електронна адреса в utwente.nl
- 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
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteПідтверджена електронна адреса в utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaПідтверджена електронна адреса в iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyПідтверджена електронна адреса в vutbr.cz
- Roderick BloemGraz University of TechnologyПідтверджена електронна адреса в iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyПідтверджена електронна адреса в unitn.it
- Gereon KremerCertora LtdПідтверджена електронна адреса в cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityПідтверджена електронна адреса в cs.rwth-aachen.de
Підписатись
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Підтверджена електронна адреса в ru.nl - Домашня сторінка