Get my own profile

Public access

View all14 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
- Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
- Peter MüllerETH ZurichVerified email at inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
- Aurel BílıPhD Student, ETH ZurichVerified email at inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichVerified email at inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
- Vytautas AstrauskasETH ZürichVerified email at inf.ethz.ch
- Justin HsuCornell UniversityVerified email at justinhsu.net
- Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de

Follow

Christoph Matheja

Associate Professor, Technical University of Denmark (DTU)

Verified email at dtu.dk - Homepage