Crea il mio profilo
Accesso pubblico
Visualizza tutto61 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Stefan KieferProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéEmail verificata su irif.fr
Antonin KuceraMasaryk UniversityEmail verificata su fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteEmail verificata su imdea.org
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail verificata su helsinki.fi
Jan KřetínskýMasaryk University Brno; Technical University of MunichEmail verificata su fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgEmail verificata su informatik.uni-oldenburg.de
Salomon SickertEmail verificata su tum.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaEmail verificata su unizar.es
Michael BlondinAssociate professor, Université de SherbrookeEmail verificata su usherbrooke.ca
Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
Andreas GaiserAxivion GmbHEmail verificata su axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleEmail verificata su imag.fr
Alain FinkelLMF ENS Paris SaclayEmail verificata su ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Email verificata su tum.de
Maximilian SchlundV&V Architect at ETASEmail verificata su de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityEmail verificata su fi.muni.cz
Segui
Javier Esparza
Professor of Computer Science, Technical University of Munich
Email verificata su in.tum.de - Home page