Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 924 | 817 |
h-index | 16 | 16 |
i10-index | 24 | 22 |
Nyilvános hozzáférés
Összes megtekintése14 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mail megerősítve itt: cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonE-mail megerősítve itt: cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityE-mail megerősítve itt: rwth-aachen.de
- Federico OlmedoUniversity of ChileE-mail megerősítve itt: dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
- Peter MüllerETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaE-mail megerősítve itt: ubc.ca
- Aurel BílýPhD Student, ETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityE-mail megerősítve itt: zju.edu.cn
- Vytautas AstrauskasETH ZürichE-mail megerősítve itt: inf.ethz.ch
- Justin HsuCornell UniversityE-mail megerősítve itt: justinhsu.net
- Thomas NollRWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail megerősítve itt: rub.de
Követés
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
E-mail megerősítve itt: dtu.dk - Kezdőlap