Get my own profile
Public access
View all129 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Christel BaierTU DresdenVerified email at tu-dresden.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
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Christoph MathejaAssociate Professor, Technical University of Denmark (DTU)Verified email at dtu.dk
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ed BrinksmaHoogleraar informatica, Universiteit TwenteVerified email at utwente.nl
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Follow![Joost-Pieter Katoen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=yjjO5_oAAAAJ&citpid=6)
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Verified email at cs.rwth-aachen.de - Homepage