Get my own profile
Public access
View all59 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
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
- Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
- Eike BestCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
- Salomon SickertVerified email at tum.de
- Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaVerified email at unizar.es
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Michael BlondinAssociate professor, Université de SherbrookeVerified email at usherbrooke.ca
- Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- 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
- Maximilian SchlundV&V Architect at ETASVerified email at de.bosch.com
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
- Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Follow
Javier Esparza
Professor of Computer Science, Technical University of Munich
Verified email at in.tum.de - Homepage