Get my own profile
Public access
View all9 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. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyVerified email at unitn.it
- David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
- Daniel GeblerVU University AmsterdamVerified email at vu.nl