PhD. Theses
| 2012 | De, S., G.: Network-wide Security Analysis, Brno, CZ, 2012, p. 163 |
| | Glembek, O.: Optimization of Gaussian Mixture Subspace Models and related scoring algorithms in speaker verification, Brno, CZ, 2012, p. 1-128 |
| | Juránek, R.: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, p. 1-77 |
| | Kockmann, M.: Subspace modeling of prosodic features for speaker verification, Brno, CZ, 2012, p. 122 |
| | Konečný, F.: Relational Verification of Programs with Integer Data, Brno, CZ, FIT VUT, 2012, p. 153 |
| | Letko, Z.: Analysis and Testing of Concurrent Programs, Brno, CZ, FIT VUT, 2012, p. 139 |
| | Mikolov, T.: Statistical Language Models Based on Neural Networks, Brno, CZ, 2012, p. 129 |
| | Samek, J.: Důvěra a reputace v distribuovaných systémech, Brno, CZ, 2012, p. 140 |
| | Šátek, V.: Analýza stiff soustav diferenciálních rovnic, Brno, CZ, UITS FIT VUT, 2012, p. 133 |
| | Šimáček, J.: Harnessing Forest Automata for Verification of Heap Manipulating Programs, Brno, CZ, FIT VUT, 2012, p. 128 |
| | Vašíček, Z.: Acceleration Methods for Evolutionary Design of Digital Circuits, Brno, CZ, 2012, p. 162 |
| 2011 | Beran, V.: On-line Data Analysis Based on Visual Codebooks, Brno, CZ, 2011, p. 94 |
| | Gajda, Z.: Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits, Brno, CZ, UPSY FIT VUT, 2011, p. 92 |
| | Herrman, T.: Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků, Brno, CZ, 2011, p. 95 |
| | Holík, L.: Simulations and Antichains for Efficient Handling of Finite Automata, Brno, CZ, UITS FIT VUT, 2011, p. 128 |
| | Kadlec, J.: Code Characterization for Automated User Interface Generation, Brno, CZ, FIT VUT, 2011, p. 144 |
| | Přikryl, Z.: Advanced Methods of Microprocessor Simulation, Brno, CZ, 2011, p. 103 |
| | Rozman, J.: Navigace mobilních robotů, Brno, CZ, 2011, p. 96 |
| | Sehnalová, P.: Stability and convergence of numerical computations, Brno, CZ, 2011, p. 108 |
| | Španěl, M.: Delaunay-based Vector Segmentation of Volumetric Medical Images, Brno, CZ, FIT VUT, 2011, p. 138 |
|