Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 925 | 818 |
h-index | 16 | 16 |
i10-indeks | 24 | 22 |
Offentlig adgang
Se alle14 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerificeret mail på cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityVerificeret mail på rwth-aachen.de
- Federico OlmedoUniversity of ChileVerificeret mail på dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienVerificeret mail på forsyte.tuwien.ac.at
- Peter MüllerETH ZurichVerificeret mail på inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaVerificeret mail på ubc.ca
- Aurel BílýPhD Student, ETH ZurichVerificeret mail på inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichVerificeret mail på inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerificeret mail på zju.edu.cn
- Vytautas AstrauskasETH ZürichVerificeret mail på inf.ethz.ch
- Justin HsuCornell UniversityVerificeret mail på justinhsu.net
- Thomas NollRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
Følg
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Verificeret mail på dtu.dk - Startside