Topics of PhD theses

»1-14«
 
# -Year Advisor Dept Student Title
12017Kolář DušanUIFSAutomatized Definition of Context-Sensitive Grammars
22017Kolář DušanUIFSParallel Analysis of Context-Sensitive Languages
32017Kolář DušanUIFSParallel Analysis of Formal Languages
42017Kolář DušanUIFSSafe Compilers
52017Kolář DušanUIFSMilkovič MarekMethods for Pattern Extraction and Detection in Program Code
62017Kolář DušanUIFSŠkarvada LiborTypová inference pro netypované/dynamické programovací jazyky
72016Kolář DušanUIFSAutomatic Maintenance Planning in ŠKODA AUTO
82016Kolář DušanUIFSReport Definition in Natural Language
92016Kolář DušanUIFSStrategy Definition for Implementation of "Průmysl 4.0" in ŠKODA AUTO Company
102016Kolář DušanUIFSSyntax Optimization
112014Kolář DušanUIFSJirák OtaContext Analysis of Formal Languages
122013Kolář DušanUIFSOptimization in Functional Languages
132010Kolář DušanUIFSĎurfina LukášGeneric Reverse Compilation to Recognize Specific Behavior
142009Kolář DušanUIFSKřoustek JakubDebugging Tools for Optimized Code of VLIW Architectures