Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 1544 | 1199 |
indeks-h | 15 | 13 |
indeks-i10 | 15 | 14 |
Akses publik
Lihat semua9 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
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail yang diverifikasi di ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail yang diverifikasi di rub.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Tim QuatmannRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Ernst Moritz HahnUniversity of TwenteEmail yang diverifikasi di utwente.nl
- Arnd HartmannsUniversity of TwenteEmail yang diverifikasi di utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyEmail yang diverifikasi di informatik.uni-freiburg.de
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Bernd BeckerProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
- Andrea TurriniInstitute of Software, Chinese Academy of SciencesEmail yang diverifikasi di ios.ac.cn
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyEmail yang diverifikasi di unitn.it
- David N. JansenRadboud Universiteit NijmegenEmail yang diverifikasi di cs.ru.nl
- Daniel GeblerVU University AmsterdamEmail yang diverifikasi di vu.nl