Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 1545 | 1200 |
indeks h | 15 | 13 |
indeks i10 | 15 | 14 |
Javni dostop
Prikaži vse9 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPreverjeni e-poštni naslov na rub.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyPreverjeni e-poštni naslov na tue.nl
- Tim QuatmannRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
- Ernst Moritz HahnUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
- Arnd HartmannsUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPreverjeni e-poštni naslov na informatik.uni-freiburg.de
- David ParkerProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
- Bernd BeckerProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
- Ufuk TopcuThe University of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
- Andrea TurriniInstitute of Software, Chinese Academy of SciencesPreverjeni e-poštni naslov na ios.ac.cn
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyPreverjeni e-poštni naslov na unitn.it
- David N. JansenRadboud Universiteit NijmegenPreverjeni e-poštni naslov na cs.ru.nl
- Daniel GeblerVU University AmsterdamPreverjeni e-poštni naslov na vu.nl