Get my own profile
Public access
View all45 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
Thomas LembergerLMU MunichVerified email at lmu.de
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
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
Friedberger KarlheinzLMU MunichVerified email at lmu.de
Andreas StahlbauerUniversity of PassauVerified email at uni-passau.de
Marieke HuismanVerified email at ewi.utwente.nl
Nian-Ze LeeNational Taiwan UniversityVerified email at ntu.edu.tw
Marie-Christine JakobsLMU MünchenVerified email at sosy.ifi.lmu.de
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Po-Chun ChienInstitute of Informatics, LMU MunichVerified email at sosy.ifi.lmu.de
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Daniel DietschUniversity FreiburgVerified email at informatik.uni-freiburg.de
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Follow