Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Lukas HolikBrno University of TehcnologyEmail verificata su fit.vutbr.cz
- Tomas VojnarFIT, Brno University of TechnologyEmail verificata su fit.vutbr.cz
- Vojtěch HavlenaBrno University of TechnologyEmail verificata su fit.vutbr.cz
- Yu-Fang ChenResearch Fellow/Professor, Academia SinicaEmail verificata su iis.sinica.edu.tw
- Andrea TurriniInstitute of Software, Chinese Academy of SciencesEmail verificata su ios.ac.cn
- Margus VeanesMicrosoft ResearchEmail verificata su microsoft.com
- Juraj SíčBrno University of TechnologyEmail verificata su fit.vut.cz
- Tomas FiedorVeriFIT Team Researcher, FIT BUTEmail verificata su fit.vutbr.cz
- Jan KořenekEmail verificata su fit.vutbr.cz
- Olli SaarikiviMicrosoft ResearchEmail verificata su microsoft.com
- Ming-Hsien TsaiNational Taiwan University of Science and TechnologyEmail verificata su mail.ntust.edu.tw
- Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de ParisEmail verificata su irif.fr
- Milan CeskaBrno University of TechnologyEmail verificata su fit.vutbr.cz
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsEmail verificata su cs.uni-kl.de
- Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
- Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail verificata su ur.de
- Matthias HeizmannUniversity of Freiburg, GermanyEmail verificata su heizmann.name
- Lijun ZhangEmail verificata su ios.ac.cn
- Yong LiInstitue of Software, Chinese Academy of SciencesEmail verificata su ios.ac.cn
- Kai-Min ChungInstitute of Information Science, Academia SinicaEmail verificata su iis.sinica.edu.tw