Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 922 | 815 |
h-indeks | 16 | 16 |
i10-indeks | 24 | 22 |
Offentlig tilgang
Vis alle14 artikler
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerifisert e-postadresse på cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerifisert e-postadresse på cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityVerifisert e-postadresse på rwth-aachen.de
- Federico OlmedoUniversity of ChileVerifisert e-postadresse på dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienVerifisert e-postadresse på forsyte.tuwien.ac.at
- Peter MüllerETH ZurichVerifisert e-postadresse på inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaVerifisert e-postadresse på ubc.ca
- Aurel BílýPhD Student, ETH ZurichVerifisert e-postadresse på inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichVerifisert e-postadresse på inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerifisert e-postadresse på zju.edu.cn
- Vytautas AstrauskasETH ZürichVerifisert e-postadresse på inf.ethz.ch
- Justin HsuCornell UniversityVerifisert e-postadresse på justinhsu.net
- Thomas NollRWTH Aachen UniversityVerifisert e-postadresse på cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerifisert e-postadresse på rub.de
Følg
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Verifisert e-postadresse på dtu.dk - Startside