Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 987 | 880 |
Índice h | 18 | 18 |
Índice i10 | 24 | 22 |
Acceso público
Ver todo14 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonDirección de correo verificada de cs.uni-saarland.de
Kevin BatzPhD Student, RWTH Aachen UniversityDirección de correo verificada de rwth-aachen.de
Federico OlmedoUniversity of ChileDirección de correo verificada de dcc.uchile.cl
Florian ZulegerAssociate Professor, TU WienDirección de correo verificada de forsyte.tuwien.ac.at
Peter MüllerETH ZurichDirección de correo verificada de inf.ethz.ch
Alexander J. SummersThe University of British ColumbiaDirección de correo verificada de ubc.ca
Aurel BílýPhD Student, ETH ZurichDirección de correo verificada de inf.ethz.ch
Federico PoliPhD candidate, ETH ZurichDirección de correo verificada de inf.ethz.ch
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityDirección de correo verificada de zju.edu.cn
Vytautas AstrauskasETH ZürichDirección de correo verificada de inf.ethz.ch
Justin HsuCornell UniversityDirección de correo verificada de justinhsu.net
Thomas NollRWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumDirección de correo verificada de rub.de
Seguir![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)
Dirección de correo verificada de dtu.dk - Página principal