Get my own profile
Public access
View all28 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université 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 uni-a.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
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Cesar SanchezResearch Professor, IMDEA Software InstituteVerified email at imdea.org
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Luboš BrimMasaryk 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
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Christel BaierTU DresdenVerified email at tu-dresden.de
Follow![Martin Leucker](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=K5TogrcAAAAJ&citpid=3)
Martin Leucker
Professor of Computer Science, University of Lübeck
Verified email at isp.uni-luebeck.de - Homepage