Crea il mio profilo
Accesso pubblico
Visualizza tutto62 articoli
6 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
- Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityEmail verificata su fi.muni.cz
- Pranav AshokArgo AIEmail verificata su argo.ai
- David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Jan KrčálSaarland UniversityEmail verificata su fi.muni.cz
- Vojtěch ForejtDifflblueEmail verificata su diffblue.com
- Kim G. LarsenDirector, Professor Aalborg UniversityEmail verificata su cs.aau.dk
- Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail verificata su cs.aau.dk
- Antonin KuceraMasaryk UniversityEmail verificata su fi.muni.cz
- Martin ChmelíkSoftware Engineer, GoogleEmail verificata su google.com
- Joachim KleinTU Dresden (formerly)Email verificata su automata.tools
- 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
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail verificata su cs.uni-saarland.de
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Email verificata su ulb.ac.be
Segui
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Email verificata su fi.muni.cz - Home page