Založit si vlastní profil
Veřejný přístup
Zobrazit všechny14 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonE-mailová adresa ověřena na: cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityE-mailová adresa ověřena na: rwth-aachen.de
- Federico OlmedoUniversity of ChileE-mailová adresa ověřena na: dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Peter MüllerETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaE-mailová adresa ověřena na: ubc.ca
- Aurel BílýPhD Student, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityE-mailová adresa ověřena na: zju.edu.cn
- Vytautas AstrauskasETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Justin HsuCornell UniversityE-mailová adresa ověřena na: justinhsu.net
- Thomas NollRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
Sledovat
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
E-mailová adresa ověřena na: dtu.dk - Domovská stránka