Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 909 | 803 |
indeks-h | 16 | 16 |
indeks-i10 | 24 | 22 |
Akses publik
Lihat semua14 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail yang diverifikasi di cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonEmail yang diverifikasi di cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityEmail yang diverifikasi di rwth-aachen.de
- Federico OlmedoUniversity of ChileEmail yang diverifikasi di dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienEmail yang diverifikasi di forsyte.tuwien.ac.at
- Peter MüllerETH ZurichEmail yang diverifikasi di inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaEmail yang diverifikasi di ubc.ca
- Aurel BílýPhD Student, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityEmail yang diverifikasi di zju.edu.cn
- Vytautas AstrauskasETH ZürichEmail yang diverifikasi di inf.ethz.ch
- Justin HsuCornell UniversityEmail yang diverifikasi di justinhsu.net
- Thomas NollRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail yang diverifikasi di rub.de
Ikuti
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Email yang diverifikasi di dtu.dk - Beranda