Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 906 | 800 |
h-indeks | 16 | 16 |
i10-indeks | 24 | 22 |
Dostęp publiczny
Wyświetl wszystko14 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonZweryfikowany adres z cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityZweryfikowany adres z rwth-aachen.de
- Federico OlmedoUniversity of ChileZweryfikowany adres z dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienZweryfikowany adres z forsyte.tuwien.ac.at
- Peter MüllerETH ZurichZweryfikowany adres z inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaZweryfikowany adres z ubc.ca
- Aurel BílýPhD Student, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityZweryfikowany adres z zju.edu.cn
- Vytautas AstrauskasETH ZürichZweryfikowany adres z inf.ethz.ch
- Justin HsuCornell UniversityZweryfikowany adres z justinhsu.net
- Thomas NollRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumZweryfikowany adres z rub.de
Obserwuj
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Zweryfikowany adres z dtu.dk - Strona główna