Crea el meu perfil
Accés públic
Mostra-ho tot14 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonCorreu electrònic verificat a cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityCorreu electrònic verificat a rwth-aachen.de
- Federico OlmedoUniversity of ChileCorreu electrònic verificat a dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Peter MüllerETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaCorreu electrònic verificat a ubc.ca
- Aurel BílýPhD Student, ETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityCorreu electrònic verificat a zju.edu.cn
- Vytautas AstrauskasETH ZürichCorreu electrònic verificat a inf.ethz.ch
- Justin HsuCornell UniversityCorreu electrònic verificat a justinhsu.net
- Thomas NollRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
Segueix
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Correu electrònic verificat a dtu.dk - Pàgina d'inici