Get my own profile
Co-authors
Benedikt BolligCNRS, LSV, ENS Paris-SaclayVerified email at lsv.ens-cachan.fr
Christian SchallhartGoogleVerified email at schallhart.net
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Andreas BauerUniversität AugsburgVerified email at rz.uni-augsburg.de
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Peter HabermehlAssistant Professor of Computer Science, IRIF, University of ParisVerified email at irif.fr
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Daniel NeiderResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Maxime CordyUniversity of LuxembourgVerified email at uni.lu
Christel BaierTU DresdenVerified email at tu-dresden.de
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Martin Leucker
Professor of Computer Science, University of Lübeck
Verified email at isp.uni-luebeck.de - Homepage