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](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=8_NUWNwAAAAJ&citpid=1)
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Verified email at dtu.dk - Homepage