Doktorské projekty
Informační systémy
| Bidlo, R., Blatný, P. |
How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals |
| Blatný, P., Bidlo, R. |
The Parallel Generation of Recursively Enumerable Languages Using Only Context-free Productions and Six Nonterminals |
| Kaláb, P. |
Two-way Linear PC Grammar Systems and Their Descriptional Complexity |
| Kopeček, T. |
Simulation of Scattered Context Grammars by Symbiotic E0L Grammars |
| Křivka, Z. |
String-partitioning Systems |
| Lorenc, L. |
Self-reproducing Pushdown Translation |
| Lukáš, R. |
Multigenerative Grammar Systems |
| Martínek, Z. |
Fewer Faults Due to Requirements Engineering |
| Očenášek, P. |
The Security Protocol Design Using Genetic Algorithms Paradigms |
| Rudolfová, I. |
The Algorithm for Reducing the Number of the Nonterminal Symbols in the FE0L Systems |
| Vítek, M. |
Closure Properties of Insertion and Deletion Operations |
| Zeman, D. |
Discovering New Techniques in Association Rule Mining |
|