Crea el meu perfil
Accés públic
Mostra-ho tot59 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Stefan KieferProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéCorreu electrònic verificat a irif.fr
- Antonin KuceraMasaryk UniversityCorreu electrònic verificat a fi.muni.cz
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Pierre GantyAssociate Research Professor, IMDEA Software InstituteCorreu electrònic verificat a imdea.org
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiCorreu electrònic verificat a helsinki.fi
- Eike BestCarl von Ossietzky Universität OldenburgCorreu electrònic verificat a informatik.uni-oldenburg.de
- Jan KřetínskýMasaryk University Brno; Technical University of MunichCorreu electrònic verificat a fi.muni.cz
- Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaCorreu electrònic verificat a unizar.es
- Salomon SickertCorreu electrònic verificat a tum.de
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Michael BlondinAssociate professor, Université de SherbrookeCorreu electrònic verificat a usherbrooke.ca
- Andreas GaiserAxivion GmbHCorreu electrònic verificat a axivion.com
- Oded MalerCNRS-VERIMAG, University of GrenobleCorreu electrònic verificat a imag.fr
- Alain FinkelLSV ENS Paris SaclayCorreu electrònic verificat a lsv.fr
- Maximilian SchlundV&V Architect at ETASCorreu electrònic verificat a de.bosch.com
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityCorreu electrònic verificat a informatik.uni-freiburg.de
- Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Correu electrònic verificat a tum.de
- Tomas BrazdilMasaryk UniversityCorreu electrònic verificat a fi.muni.cz
Segueix
Javier Esparza
Professor of Computer Science, Technical University of Munich
Correu electrònic verificat a in.tum.de - Pàgina d'inici