Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Andrea TurriniInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputeVerified email at dtu.dk
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Daniel GeblerVU University AmsterdamVerified email at vu.nl