Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 909 | 803 |
h-индекс | 16 | 16 |
i10-индекс | 24 | 22 |
Общий доступ
Просмотреть все14 статей
0 статей
доступно
недоступно
На основе финансирования
Соавторы
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПодтвержден адрес электронной почты в домене cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonПодтвержден адрес электронной почты в домене cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityПодтвержден адрес электронной почты в домене rwth-aachen.de
- Federico OlmedoUniversity of ChileПодтвержден адрес электронной почты в домене dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienПодтвержден адрес электронной почты в домене forsyte.tuwien.ac.at
- Peter MüllerETH ZurichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaПодтвержден адрес электронной почты в домене ubc.ca
- Aurel BílýPhD Student, ETH ZurichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityПодтвержден адрес электронной почты в домене zju.edu.cn
- Vytautas AstrauskasETH ZürichПодтвержден адрес электронной почты в домене inf.ethz.ch
- Justin HsuCornell UniversityПодтвержден адрес электронной почты в домене justinhsu.net
- Thomas NollRWTH Aachen UniversityПодтвержден адрес электронной почты в домене cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumПодтвержден адрес электронной почты в домене rub.de
Подписаться
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Подтвержден адрес электронной почты в домене dtu.dk - Главная страница