Crea il mio profilo
Accesso pubblico
Visualizza tutto14 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail verificata su cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonEmail verificata su cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityEmail verificata su rwth-aachen.de
- Federico OlmedoUniversity of ChileEmail verificata su dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienEmail verificata su forsyte.tuwien.ac.at
- Peter MüllerETH ZurichEmail verificata su inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaEmail verificata su ubc.ca
- Aurel BílýPhD Student, ETH ZurichEmail verificata su inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichEmail verificata su inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityEmail verificata su zju.edu.cn
- Vytautas AstrauskasETH ZürichEmail verificata su inf.ethz.ch
- Justin HsuCornell UniversityEmail verificata su justinhsu.net
- Thomas NollRWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail verificata su rub.de
Segui
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Email verificata su dtu.dk - Home page