Get my own profile
Public access
View all55 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Marc HerbstrittVerified email at herbstritt.info
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Eckard BödeGerman Aerospace Center (DLR)Verified email at dlr.de
Matthias SauerAdvantest Europe GmbHVerified email at advantest.com
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Friedrich EisenbrandEPFLVerified email at epfl.ch
Pepijn CrouzenGoogle inc.Verified email at google.com
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Salem DerisaviCompiler Tech Lead/Manager, Cerebras SystemsVerified email at cerebras.net
Yuliya ButkovaVerified email at cs.uni-saarland.de
Paolo MarinVerified email at bankmedia.de
Follow
Ralf Wimmer
Albert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, Germany
Verified email at informatik.uni-freiburg.de - Homepage