Get my own profile
Co-authors
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Eike BestUniversität OldenburgVerified email at informatik.uni-oldenburg.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaVerified email at unizar.es
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Salomon SickertTechnische Universität MünchenVerified email at in.tum.de
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Andreas GaiserAxivion GmbHVerified email at axivion.com
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Michael BlondinAssistant professor, Université de SherbrookeVerified email at usherbrooke.ca
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Maximilian SchlundTU MünchenVerified email at model.in.tum.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Javier Esparza
Professor of Computer Science, Technical University of Munich
Verified email at in.tum.de - Homepage