Get my own profile
Public access
View all61 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified 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
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Eike BestCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaVerified email at unizar.es
Salomon SickertVerified email at tum.de
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Michael BlondinAssociate professor, Université de SherbrookeVerified email at usherbrooke.ca
Andreas GaiserAxivion GmbHVerified email at axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Verified email at tum.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Maximilian SchlundV&V Architect at ETASVerified email at de.bosch.com
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Follow![Javier Esparza](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=c9qgPSYAAAAJ&citpid=3)
Javier Esparza
Professor of Computer Science, Technical University of Munich
Verified email at in.tum.de - Homepage