Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 909 | 803 |
Índice h | 16 | 16 |
Índice i10 | 24 | 22 |
Acesso público
Ver todos14 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mail confirmado em cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonE-mail confirmado em cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityE-mail confirmado em rwth-aachen.de
- Federico OlmedoUniversity of ChileE-mail confirmado em dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienE-mail confirmado em forsyte.tuwien.ac.at
- Peter MüllerETH ZurichE-mail confirmado em inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaE-mail confirmado em ubc.ca
- Aurel BílýPhD Student, ETH ZurichE-mail confirmado em inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichE-mail confirmado em inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityE-mail confirmado em zju.edu.cn
- Vytautas AstrauskasETH ZürichE-mail confirmado em inf.ethz.ch
- Justin HsuCornell UniversityE-mail confirmado em justinhsu.net
- Thomas NollRWTH Aachen UniversityE-mail confirmado em cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail confirmado em rub.de
Seguir
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
E-mail confirmado em dtu.dk - Página inicial