Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 911 | 805 |
h-index | 16 | 16 |
i10-index | 24 | 22 |
Acces public
Afișați-le pe toate14 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonAdresă de e-mail confirmată pe cs.uni-saarland.de
- Kevin BatzPhD Student, RWTH Aachen UniversityAdresă de e-mail confirmată pe rwth-aachen.de
- Federico OlmedoUniversity of ChileAdresă de e-mail confirmată pe dcc.uchile.cl
- Florian ZulegerAssociate Professor, TU WienAdresă de e-mail confirmată pe forsyte.tuwien.ac.at
- Peter MüllerETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Alexander J. SummersThe University of British ColumbiaAdresă de e-mail confirmată pe ubc.ca
- Aurel BílýPhD Student, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Federico PoliPhD candidate, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityAdresă de e-mail confirmată pe zju.edu.cn
- Vytautas AstrauskasETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Justin HsuCornell UniversityAdresă de e-mail confirmată pe justinhsu.net
- Thomas NollRWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresă de e-mail confirmată pe rub.de
Urmăriți
Christoph Matheja
Associate Professor, Technical University of Denmark (DTU)
Adresă de e-mail confirmată pe dtu.dk - Pagina de pornire