Get my own profile
Public access
View all42 articles
1 article*
available
not available
Based on funding mandates
Co-authors
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Philipp WendlerLMU Munich, GermanyVerified email at lmu.de
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Matthias DanglLudwig-Maximilians-Universität MünchenVerified email at sosy.ifi.lmu.de
Stefan LöweVerified email at fim.uni-passau.de
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Thomas LembergerLMU MunichVerified email at lmu.de
Ranjit JhalaUC San DiegoVerified email at ucsd.edu
Alexander von RheinUniversity of PassauVerified email at fim.uni-passau.de
Claus LewerentzProfessor für Softwaretechnik, BTU CottbusVerified email at tu-cottbus.de
Andreas StahlbauerUniversity of PassauVerified email at uni-passau.de
Friedberger KarlheinzLMU MunichVerified email at lmu.de
Marieke HuismanVerified email at ewi.utwente.nl
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Marie-Christine JakobsLMU MünchenVerified email at sosy.ifi.lmu.de
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Daniel DietschUniversity FreiburgVerified email at informatik.uni-freiburg.de
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
Follow![Dirk Beyer](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=AFOIl1IAAAAJ&citpid=2)