| Type | Author and work title | Supervisor | Year | prog | disc |
|---|---|---|---|---|---|
| DP | Čeleda Tomáš: Honey-Bees Mating Optimization | Lažanský Jiří | 2011 | EI | Kybernetika a měření (magisterský) |
| Báča David: Efficient Collection of Statistics for Embedded Software Verification | Lažanský Jiří | 2012 | Umělá inteligence a biokybernetika |
diploma
DEBUG: found in cache: