Crea il mio profilo
Accesso pubblico
Visualizza tutto67 articoli
8 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Maximilian WeiningerTechnical University of MunichEmail verificata su tum.de
Tobias MeggendorferAssistant Professor, Lancaster University LeipzigEmail verificata su meggendorfer.de
Tomas BrazdilMasaryk UniversityEmail verificata su fi.muni.cz
Salomon SickertEmail verificata su tum.de
Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at
Javier EsparzaProfessor of Computer Science, Technical University of MunichEmail verificata su in.tum.de
Pranav AshokCARIAD SEEmail verificata su cariad.technology
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityEmail verificata su fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityEmail verificata su cs.aau.dk
Jan KrčálSaarland UniversityEmail verificata su fi.muni.cz
Vojtěch ForejtDifflblueEmail verificata su diffblue.com
Antonin KuceraMasaryk UniversityEmail verificata su fi.muni.cz
Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail verificata su cs.aau.dk
Martin ChmelíkSoftware Engineer, GoogleEmail verificata su google.com
Joachim KleinTU Dresden (formerly)Email verificata su automata.tools
Stefanie MohrTechnical University of MunichEmail verificata su in.tum.de
Michaela KlauckRobert Bosch GmbH - Bosch Research, Saarland University, Saarland Informatics CampusEmail verificata su de.bosch.com
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail verificata su rub.de
Vojtech RehakMasaryk university, Faculty of InformaticsEmail verificata su fi.muni.cz
Segui
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Email verificata su fi.muni.cz - Home page