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