Dissertation theses of our PhD students are overflowing with new inventions, creative solutions, unusual connections and innovative perspectives. They are highly specialized and get to the core of the problem. So far, more than 60 doctoral theses have been written at our faculty.
Abstraction-Based Machine-Code Program Verification
Author
Ing. Jan Onderka
Year
2025
Type
Dissertation thesis
Supervisor
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Reviewers
prof. Thomas Noll, Nian-Ze Lee, Ph.D., doc. RNDr. Pavel Parízek, Ph.D.
Department
Summary
This dissertation thesis is focused on formal verification of machine-code systems using model checking with abstraction. The background and state of the art of machine-code model checking are presented, and weaknesses of previous approaches are noted. The author's research described in this dissertation thesis and previous conference proceedings articles presents novel solutions to the major problems of previous research: the systems are described in the Rust programming language and are inherently simulable, automatically converted to verification equivalents and verified within a novel framework based on Three-Valued Abstraction Refinement. Special care is taken to allow efficient verification of variables based on bit-vectors. The author has created a formal verification tool implementing the introduced techniques, and its performance is evaluated in the thesis. The tool can be used to verify arbitrary finite-state digital systems, with a special focus on systems with behaviour determined by machine-code programs. The created tool is free, open-source, and publicly available.
Synchronizing Finite String and Tree Automata and their Parallelization
Author
Ing. Štěpán Plachý
Year
2024
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Janoušek, Ph.D.
Reviewers
Prof. Frank Drewes, PhD.,Prof. Dr. Andreas Maletti, RNDr. František Mráz, CSc.
Department
Parameterized Algorithms for Hitting Subgraphs
Author
Ing. Radovan Červený
Year
2024
Type
Dissertation thesis
Supervisor
RNDr. Ondřej Suchý, Ph.D.
Reviewers
Prof. Dr. Henning Fernau, doc. RNDr. Jiří Fiala, Ph.D., Dr. Jesper Nederlof
Department
Author
Ing. Jiří Nádvorník
Year
2024
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
prof. Karine Zeitouni, Ph.D., Tim Jenness, Ph.D., Dr. Norbert Podhorszki
Department
Author
Ing. Tomáš Kolárik
Year
2024
Type
Dissertation thesis
Supervisor
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Reviewers
Prof. Dr. Martin Fränzle, Prof. Kazunori Ueda, Prof. Étienne André
Department
Differential Power Analysis Countermeasures in Programmable Hardware
Author
Ing. Stanislav Jeřábek
Year
2024
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Schmidt, Ph.D.
Reviewers
Dr. Vincent Grosso
doc. Ing. Zdeněk Martinásek, Ph.D.
Prof. Paris Kitsos, PhD.
doc. Ing. Zdeněk Martinásek, Ph.D.
Prof. Paris Kitsos, PhD.
Department
Processing, checking, and modeling of textual requirements specifications
Author
Ing. David Šenkýř
Year
2024
Type
Dissertation thesis
Supervisor
prof. Dr. Ing. Petr Kroha, CSc.
Reviewers
prof. Ing. Vojtěch Svátek, Dr.
doc. Ing. Radek Burget, Ph.D.
prof. dr. José Emilio Labra Gayo
doc. Ing. Radek Burget, Ph.D.
prof. dr. José Emilio Labra Gayo
Department
Towards a Normalized Systems Gateway Ontology for Conceptual Models
Author
Ing. Marek Suchánek
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D. (FIT ČVUT)
prof. Dr. Herwig Mannaert (University of Antwerp)
prof. Dr. Herwig Mannaert (University of Antwerp)
Reviewers
Univ. Prof. Henderik Alex Proper, Ph.D.
assist. prof. Sérgio Guerreiro, Ph.D.
prof. Markus Helfert, Ph.D.
assist. prof. Sérgio Guerreiro, Ph.D.
prof. Markus Helfert, Ph.D.
Department
Side-Channel Security of Embedded Devices
Author
Ing. Petr Socha
Year
2023
Type
Dissertation thesis
Supervisor
doc. Dr.-Ing. Martin Novotný
Reviewers
Mgr. Jakub Breier, Ph.D.
assist. prof. Francesco Regazzoni
assoc. prof. Ricardo Chaves
assist. prof. Francesco Regazzoni
assoc. prof. Ricardo Chaves
Department
The Impact of Encrypted DNS on Network Security
Author
Ing. Karel Hynek
Year
2023
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
RNDr. Tomáš Jirsík, Ph.D.
prof. Rémi Badonnel, Ph.D.
prof. Ramin Sadre, Ph.D.
prof. Rémi Badonnel, Ph.D.
prof. Ramin Sadre, Ph.D.
Department
Ontologies in Recommender Systems
Author
Ing. Stanislav Kuznetsov
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Pavel Kordík, Ph.D.
Reviewers
prof. dr hab. inz. Krzysztof Goczyla
Assoc. Prof. Aleksandra Klašnja Milicevic, Ph.D.
Mgr. Ladislav Peška, Ph.D.
Assoc. Prof. Aleksandra Klašnja Milicevic, Ph.D.
Mgr. Ladislav Peška, Ph.D.
A string automata approach to tree pattern matching and indexing
Author
Ing. Eliška Šestáková
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Janoušek, Ph.D.
Reviewers
prof. RNDr. Alexandr Meduna, CSc.
prof. Philip Bille
prof. Giovanni Pighizzini
prof. Philip Bille
prof. Giovanni Pighizzini
Department
Design of Systems Supporting Compliance Management
Author
Ing. Marek Skotnica
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Petr Křemen, Ph.D.
prof. Hans Mulder, Ph.D.
Assist. Prof. Joao Luiz Rebelo Moreira, Ph.D.
prof. Hans Mulder, Ph.D.
Assist. Prof. Joao Luiz Rebelo Moreira, Ph.D.
Department
Analyzing Large Code Repositories
Author
Ing. Petr Máj
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Janoušek, Ph.D.
Reviewers
Prof. Tobias Wrigstad
Max Schaefer, MSc., DPhil.
Mgr. Tomáš Petříček, Ph.D.
Max Schaefer, MSc., DPhil.
Mgr. Tomáš Petříček, Ph.D.
Department
Automatic Test Pattern Generation of Zero-Aliasing Test for General Output Response Compactor
Author
Ing. Robert Hülle
Year
2023
Type
Dissertation thesis
Supervisor
doc. Ing. Petr Fišer, Ph.D.
Reviewers
Assoc. Prof. Paolo Bernardi, PhD.
Dr. Stephan Eggersgluess
Prof. Liviu-Cristian Miclea, PhD.
Dr. Stephan Eggersgluess
Prof. Liviu-Cristian Miclea, PhD.
Department
Similarity Search in Unstructured Data using Data-Transitive Models
Author
Ing. David Bernhauer
Year
2022
Type
Dissertation thesis
Supervisor
prof. RNDr. Tomáš Skopal, Ph.D.
Reviewers
doc. RNDr. Vlastislav Dohnal, Ph.D.
Prof. Richard C. H. Connor, Ph.D.
Assoc. Prof. Magnus Lie Hetland, Ph.D.
Prof. Richard C. H. Connor, Ph.D.
Assoc. Prof. Magnus Lie Hetland, Ph.D.
Department
Linear Cryptanalysis of Baby Rijndael and Implementation Side Channels of AES
Author
Ing. Josef Kokeš
Year
2022
Type
Dissertation thesis
Supervisor
prof. Ing. Róbert Lórencz, CSc.
Reviewers
Assoc. Prof. Brice Colombier, Ph.D.
Mgr. Jakub Breier, Ph.D.
doc. Ing. Zdeněk Martinásek, Ph.D.
Mgr. Jakub Breier, Ph.D.
doc. Ing. Zdeněk Martinásek, Ph.D.
Department
Randomized Indexing for Approximate Selection Queries on Multidimensional Arrays
Author
Ing. Luboš Krčál
Year
2022
Type
Dissertation thesis
Supervisor
prof. Ing. Jan Holub, Ph.D.
Reviewers
prof. Ing. Michal Krátký, Ph.D.
Kwo-Sen Kuo, PhD.
Dimitar Mišev, PhD.
Kwo-Sen Kuo, PhD.
Dimitar Mišev, PhD.
Department
Trust Management in Wireless Ad Hoc Networks
Author
Ing. Yelena Trofimova
Year
2022
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
Prof. Dr. Stefan Schmid
prof. Ing. Miroslav Vozňák, Ph.D.
doc. Ing. Zdeněk Bečvář, Ph.D.
prof. Ing. Miroslav Vozňák, Ph.D.
doc. Ing. Zdeněk Bečvář, Ph.D.
Department
Knowledge Extraction from Multimedia Content
Author
Ing. Petr Pulc
Year
2022
Type
Dissertation thesis
Supervisor
prof. Ing. RNDr. Martin Holeňa, CSc.
Reviewers
prof. Irina Perfiljeva, CSc., dr. h. c., prof. h. c.
Assoc. prof. Neeta Nain, Ph.D.
doc. Ing. Karel Zimmermann, Ph.D.
Assoc. prof. Neeta Nain, Ph.D.
doc. Ing. Karel Zimmermann, Ph.D.
Complexity of Games on Graphs
Author
Ing. Václav Blažej
Year
2022
Type
Dissertation thesis
Supervisor
doc. RNDr. Tomáš Valla, Ph.D.
Reviewers
Prof., Dr. rer. nat. Robert Bredereck
RNDr. Martin Balko, Ph.D.
Paweł Rzążewski, PhD.
RNDr. Martin Balko, Ph.D.
Paweł Rzążewski, PhD.
Department
Predictor Factory: Learning from Relational Data
Author
Ing. Jan Motl
Year
2022
Type
Dissertation thesis
Supervisor
doc. Ing. Pavel Kordík, Ph.D.
Reviewers
Prof. Abdullah Uz Tansel
doc. Mgr. Martin Nečaský, Ph.D.
doc. Ing. Tomáš Kliegr, Ph.D.
doc. Mgr. Martin Nečaský, Ph.D.
doc. Ing. Tomáš Kliegr, Ph.D.
Adapting Enterprise Engineering and Normalised Systems Theories to Develop a Methodical Framework Supporting Technology Transitions
Author
Mgr. Ondřej Dvořák
Year
2022
Type
Dissertation thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
assist. prof. David Sardinha Andrade de Aveiro, PhD
assist. prof. Sérgio Luís Proença Duarte Guerreiro, PhD.
doc. Ing. František Huňka, CSc.
assist. prof. Sérgio Luís Proença Duarte Guerreiro, PhD.
doc. Ing. František Huňka, CSc.
Department
Testability and Physical Security: The Cell-Level Approach
Author
Ing. Jan Bělohoubek
Year
2022
Type
Dissertation thesis
Supervisor
doc. Ing. Petr Fišer, Ph.D.
Reviewers
Prof. Dr. Amir Moradi; Prof. Dr.-Ing. Miloš Krstić; prof. Michel Renovell, Ph.D
Department
Low-Latency Optimizations and Architectures for Compression Algorithms implemented in (Programmable) Hardware
Author
Ing. Matěj Bartík
Year
2021
Type
Dissertation thesis
Supervisor
Dr. Ing. Sven Ubik
Reviewers
doc. Ing. Jan Kořenek, Ph.D.; doc. Ing. Jaroslav Zdrálek, Ph.D; Dr. Dirk Koch
Department
Automatic Malware Detection
Author
Mgr. Martin Jureček
Year
2021
Type
Dissertation thesis
Supervisor
prof. Ing. Róbert Lórencz, CSc.
Reviewers
Prof. Mark Stamp; Assoc. Prof. Carles Mateu, PhD.; Ing. Sebastián García, Ph.D.
Department
Hardware generated keys for cryptographic systems and protocols
Author
Ing. Simona Buchovecká
Year
2021
Type
Dissertation thesis
Supervisor
prof. Ing. Róbert Lórencz, CSc.
Reviewers
Assoc. Prof. Jens-Peter Kaps, PhD.; Assoc. Prof. Florent Bernard; doc. Ing. Dominik Macko, PhD.
Department
The Ring Oscillator based PUF on FPGAs
Author
Ing. Filip Kodýtek
Year
2021
Type
Dissertation thesis
Supervisor
prof. Ing. Róbert Lórencz, CSc.
Reviewers
Prof. Kris Gaj, PhD.; Assoc. Prof. Brice Colombier; doc. Ing. Zdeněk Vašíček, Ph.D.
Department
Advanced Methods for Asymmetric Heterogeneous Transfer Learning
Author
Ing. Magda Friedjungová
Year
2021
Type
Dissertation thesis
Supervisor
doc. RNDr. Ing. Marcel Jiřina, Ph.D.
Reviewers
Ing. Vojtěch Franc, Ph.D.; prof. Michał Choraś, Ph.D.; dr. inž. Mariusz Topolski
Comprehensibility in Network Intrusion Detection
Author
Ing. Martin Kopp
Year
2020
Type
Dissertation thesis
Supervisor
prof. Ing. RNDr. Martin Holeňa, CSc.
Reviewers
doc. Ing. Tomáš Kliegr, Ph.D.; Ing. Martin Rehák, Ph.D.; Prof. Hisashi Kashima, PhD.
Side-Channel Analysis: Efficient Attacks and Fault-Tolerant Countermeasures
Author
Ing. Vojtěch Miškovský
Year
2020
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Dr. Paris Kitsos; Giorgio Di Natale, Ph.D.; Prof. Lejla Batina, PDEng.
Department
Meta-optimizations for Cluster Analysis
Author
Ing. Tomáš Bartoň
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Pavel Kordík, Ph.D.
Reviewers
Assoc. Prof., Dr. rer. nat. habil. Arthur Zimek; doc. Ing. Jan Platoš, Ph.D.; doc. Mouzhi Ge, Ph.D.
Improvement of the Routing in Opportunistic Networks by the Application of Unsupervised and Supervised Machine Learning Techniques
Author
Ing. Ladislava Smítková Janků
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Kateřina Hyniová, CSc.
Reviewers
Eleonora Borgia, PhD.; Assoc. Prof. Dr. Floriano De Rango; doc. Ing. Ján Papaj, PhD.
Department
Adaptive control algorithms of intelligent agents
Author
Ing. Martin Šlapák
Year
2019
Type
Dissertation thesis
Supervisor
Mgr. Roman Neruda, CSc.
Reviewers
doc. Ing. Jiří Vokřínek, Ph.D.; RNDr. Petra Vidnerová, Ph.D.; doc. RNDr. Gabriela Andrejková, CSc.
Department
Reliable FPGA Architecture
Author
Ing. Jan Pospíšil
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Schmidt, Ph.D.
Reviewers
Assoc. Prof. Luca Sterpone, PhD.; Jorge L. Tonfat, PhD.; prof. Ing. Miloš Drutarovský, CSc.
Department
(Nonlinear) Tree Pattern Indexing and Backward Matching
Author
Ing. Jan Trávníček
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Janoušek, Ph.D.
Reviewers
Assoc. prof. Johanna Björklund, PhD.; prof. RNDr. Marie Demlová, CSc.; doc. Mgr. Adam Rogalewicz, Ph.D.
Department
Time and Frequency Transfer in Local Networks
Author
Ing. Jiří Dostál
Year
2019
Type
Dissertation thesis
Supervisor
RNDr. Ing. Vladimír Smotlacha, Ph.D.
Reviewers
Assoc. Prof. Ant. Javier Díaz Alonso, PhD.; doc. Ing. Jaroslav Roztočil, CSc.; Ing. Tomáš Horváth, Ph.D.
Department
Manipulating the Capacity of Recommendation Models in Recall-Coverage Optimization
Author
Ing. Tomáš Řehořek
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Pavel Kordík, Ph.D.
Reviewers
prof. RNDr. Peter Vojtáš, DrSc.; Prof. Dr. Martha Larson; doc. Ing. Michal Kompan, PhD.
Linked Data Based Knowledge Provisioning
Author
Ing. Milan Dojčinovski
Year
2019
Type
Dissertation thesis
Supervisor
doc. Ing. Tomáš Vitvar, Ph.D.
Reviewers
Prof. Dr. Harith Alani; prof. RNDr. Peter Vojtáš, DrSc.; prof. dr. ir. Ruben Verborgh
Department
Dynamic Texture Modeling
Author
Ing. Radek Richtr
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Michal Haindl, DrSc.
Reviewers
Assoc. prof. Renaud Péteri; doc. Ing. Jaroslav Křivánek, Ph.D.; prof. RNDr. Roman Ďurikovič, PhD.
Department
Stream-wise Parallel Anomaly Detection in Computer Networks
Author
Ing. Tomáš Čejka
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
doc. Ing. Ondřej Ryšavý, Ph.D.; prof. Ing. Václav Přenosil, CSc.; Prof. Dr. Burkhard Stiller
Department
Prediction and Analysis of Mission Critical Systems Dependability
Author
Ing. Martin Daňhel
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
doc. Ing. Stanislav Racek, CSc.; Ing. Josef Strnadel, Ph.D.; Prof. Dr. Jaan Raik
Department
Towards a decentralised peer-to-peer cluster
Author
Ing. Josef Gattermayer
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
prof. Ing. Petr Tůma, Dr.; Prof. Dr. rer. nat. habil. Dr. h. c. Alexander Schill; dhr. prof. dr. Marian Bubak
Department
Properties and Implementation Aspects of Residue Arithmetic for a Hardware Solver of Systems of Linear Equations
Author
Ing. Jiří Buček
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Róbert Lórencz, CSc.
Reviewers
doc. Ing. Miloš Drutarovský, CSc.; doc. Ing. Zdeněk Vašíček, Ph.D.; Assoc. Prof. Kris Gaj, Ph.D.
Department
Iris Analysis
Author
Ing. Mikuláš Krupička
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Michal Haindl, DrSc.
Reviewers
Assoc. prof. Maria De Marsico; doc. Ing. Radim Kolář, Ph.D.; RNDr. Jan Kalina, Ph.D.
Department
On Indexes of Ordered Trees for Subtrees and Tree Patterns and Their Space Complexities
Author
Ing. Martin Poliak
Year
2018
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Janoušek, Ph.D.
Reviewers
prof. Dr. František Franěk; prof. RNDr. Alexander Meduna, CSc.; prof. RNDr. Jaroslav Pokorný, CSc.
Texture modeling applied to medical images
Author
Mgr. Václav Remeš
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Michal Haindl, DrSc.
Reviewers
Ing. Milan Sonka, Ph.D.; prof. Dr. Ing. Jan Kybic; prof. Ing. Jiří Jan, CSc.
Department
Dependable design methods for programmable circuits with respect to area overhead
Author
Ing. Pavel Vít
Year
2018
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Ing. Josef Strnadel, Ph.D.; doc. Ing. Vlastimil Vavřička, CSc.; Assoc. Prof. Francesco Leporati, PhD.
Department
Towards OntoUML for Software Engineering: Transformation of OntoUML into Relational Databases
Author
Ing. Zdeněk Rybola
Year
2018
Type
Dissertation thesis
Supervisor
doc. Ing. Karel Richta, CSc.
Reviewers
doc. RNDr. Petr Šaloun, Ph.D.; Ivan Luković, PhD.; Prof. Dr. Giancarlo Guizzardi
Department
Adaptive Measurement of Material Appearance
Author
Ing. Radomír Vávra
Year
2017
Type
Dissertation thesis
Supervisor
prof. Ing. Michal Haindl, DrSc.
Reviewers
doc. Ing. Jaroslav Křivánek, Ph.D.; doc. Ing. Jiří Bittner, Ph.D.; Prof. dr. hab. Inz. Karol Myszkowski
Department
Physical Fault Injection and Monitoring Methods for Programmable Devices
Author
Ing. Tomáš Vaňát
Year
2017
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Giorgio Di Natale, Ph.D.; Prof. Dr. Andreas Steininger; Ing. Jiří Kvasnička, Ph.D.
Department
Generation of High-Speed Network Device from High-Level Description
Author
Ing. Pavel Benáček
Year
2017
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Prof. Giuseppe Bianchi; Ing. Katarína Jelemenská, PhD.; Assoc. prof. Dr. Alistair McEwan
Department
Digital Circuits Testing Based on Pattern Overlapping and Broadcasting
Author
Ing. Martin Chloupek
Year
2017
Type
Dissertation thesis
Reviewers
doc. Ing. Richard Růžička, Ph.D.; Ing. Štefan Krištofík, PhD.; Prof. Dr.-Ing. Heinrich Theodor Vierhaus
Department
Implicit Representations in Testing and Dependability of Digital Circuits
Author
Ing. Jiří Balcárek
Year
2017
Type
Dissertation thesis
Supervisor
doc. Ing. Jan Schmidt, Ph.D.
Reviewers
prof. Ing. Tomáš Hruška, CSc.; Prof. Raimund Ubar, PhD.; Prof. Matteo Sonza Reorda, PhD.
Department
Rich Semantic Representations in Web Usage Mining
Author
Ing. Jaroslav Kuchař
Year
2017
Type
Dissertation thesis
Supervisor
doc. Ing. Tomáš Vitvar, Ph.D.
Reviewers
prof. RNDr. Peter Vojtáš, DrSc.; Dr. Roman Dumitru; Priv. Doz. Mag. Dr. Gerhard Wohlgenannt
Department
Dependable Systems Design Methods for FPGAs
Author
Ing. Jaroslav Borecký
Year
2016
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Prof. Smail Niar, PhD.; Prof. Dr. Andreas Steininger; doc. Ing. Vlastimil Vavřička, CSc.
Department
Hierarchical Dependability Models Based on Markov Chains
Author
Ing. Martin Kohlík
Year
2016
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
Dr. Karl-Erwin Grosspietsch; doc. RNDr. Elena Gramatová, PhD.; doc. Ing. Stanislav Racek, CSc.
Department
Algorithms and Data Structures for Very Large Sparse Matrices
Author
Ing. Daniel Langr
Year
2015
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
prof. Ing. Tomáš Kozubek, Ph.D.; doc. Ing. Jaroslav Kruis, Ph.D.; Salvatore Filippone, Ph.D.
Department
Information Extraction and Data Acquisition for News Articles Filtering and Recommendation
Author
Ing. Ivo Lašek
Year
2015
Type
Dissertation thesis
Supervisor
prof. RNDr. Peter Vojtáš, DrSc.
Reviewers
Dr.-Ing. Sebastian Hellmann; RNDr. Radim Řehůřek, Ph.D.; doc. Ing. Jan Platoš, Ph.D.
Department
Searching Regularities in Strings using Finite Automata
Author
Ing. Ondřej Guth
Year
2014
Type
Dissertation thesis
Reviewers
prof. RNDr. Alexander Meduna, CSc.; prof. RNDr. Marie Demlová, CSc.; Prof. William Smyth, Ph.D.
Department
Natural Language Compression Using Byte Codes
Author
Ing. Petr Procházka
Year
2014
Type
Dissertation thesis
Supervisor
prof. Ing. Jan Holub, Ph.D.
Reviewers
Prof. Shmuel Tomi Klein; doc. RNDr. Tomáš Dvořák, CSc.; doc. Mgr. Jiří Dvorský, Ph.D.
Department
Programmable and Customizable Hardware Accelerators for Self-adaptive Virtual Processors in FPGA
Author
Ing. Jaroslav Sýkora
Year
2014
Type
Dissertation thesis
Supervisor
Ing. Martin Daněk, Ph.D.
Reviewers
prof. Dr.-Ing. Christian Hochberger; prof. Dr. Chris Jesshope; prof. Ing. Róbert Lórencz, CSc.
Department
Low-Latency Video Transmissions for Real-Time Collaboration with a Scalable Hardware Acceleration
Author
Ing. Petr Žejdl
Year
2014
Type
Dissertation thesis
Reviewers
doc. RNDr. Pavel Satrapa, Ph.D.; prof. dr. ir. Cees de Laat; Andre Georg Holzner, Ph.D.
Department
Reliability Analysis of SRAM-based Field-Programmable Gate Arrays
Author
Ing. Jiří Kvasnička
Year
2014
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
doc. Ing. Stanislav Racek, CSc.; doc. Michel Renovell, Ph.D.; prof. Ing. Viera Stopjaková, PhD.
Department
Extendable and Scalable FPGA-based High-speed Packet Processing
Author
Ing. Jiří Halák
Year
2013
Type
Dissertation thesis
Supervisor
prof. Ing. Hana Kubátová, CSc.
Reviewers
prof. Ing. Zdeněk Plíva, Ph.D.; Ing. Katarína Jelemenská, Ph.D.; Francesco Leporati, associate professor
Department
Overlapping Non-dedicated Clusters Architecture
Author
Mgr. Martin Šťava
Year
2013
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
doc. Ing. Jan Janeček, CSc.; RNDr. Filip Zavoral, Ph.D.; Prof. Dr. rer. nat. habil. Dr. hc Alexander Schill
Department
Pattern Matching in Tree Structures
Author
Ing. Tomáš Flouri
Year
2013
Type
Dissertation thesis
Reviewers
prof. RNDr. Alexander Meduna, CSc.; prof. RNDr. Jaroslav Pokorný, CSc.; prof. Bruce A. Watson
Department
Market-based Resource Allocation in Non-Dedicated Clusters
Author
Ing. Michal Košťál
Year
2012
Type
Dissertation thesis
Supervisor
prof. Ing. Pavel Tvrdík, CSc.
Reviewers
prof. Ing. Jiří Šafařík, CSc.; doc. Ing. Pavel Čičák, Ph.D; dr. Srikumar Venugopal
Department
Supporting Multiple Languages in Virtual Machines
Author
Ing. Jan Vraný
Year
2010
Type
Dissertation thesis
Supervisor
doc. Ing. Vojtěch Merunka, Ph.D.
Reviewers
Prof. Stéphane Ducasse; doc. Ing. Vladimír Janoušek, Ph.D.; Dr. Alexandre Bergel
Department