Number of results: 55

Results of 3 selected fields/plans of study
Faculty
Faculty of Informatics
Field of Study/plan
FI - Informatics (4-years): Informatics (eng.) FI - Informatics (4-years): Informatics
include only defended theses

Amiri, Moslem

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2014

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Neutron/gamma-ray measurement and discrimination

Babiak, Tomáš

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2017

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Translation of Linear Temporal Logic to Omega-Automata

Baisa, Vít

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2016

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Byte Level Language Models

Balážia, Michal

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2018

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Gait Recognition from Motion Capture Data

Bezděk, Peter

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2018

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Parameter Synthesis for Systems with Real Time

Blahoudek, František

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2018

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Automata for Formal Methods: Little Steps Towards Perfection

Budíková, Petra

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2013

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Towards Large-Scale Multi-Modal Image Search

Bystrý, Vojtěch

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2016

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Computational methods for analysis of high throughput sequencing of IG and TR gene rearrangements

Byška, Jan

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2016

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Analysis and Visualization of Protein Structures

Čejka, Jan

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2021

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Underwater Localization and Interaction for Open-Sea Augmented Reality Systems

Češka, Milan

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2012

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Designing Data-Parallel Graph Algorithms for Model Checking

Eliáš, Petr

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2020

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Action Recognition, Annotation, and Searching in Motion Data

Filipovič, Jiří

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2013

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Algorithms and Methods for Haptic Interaction with Deformable Objects

Furmanová, Katarína

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2019

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Visualization and Visual Analysis of Intermolecular Interactions of Proteins

Gajarský, Jakub

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2016

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Algorithmic Meta-theorems for Restricted Classes of Graphs

Ganian, Robert

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2012

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Parameterized Algorithms on Width Parameters of Graphs

Homola, Tomáš

(the defence was successful)

Doctoral Studies, Faculty of Informatics, 2014

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Techniques for Content-Based Sub-Image Retrieval

Jakubíček, Miloš

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2017

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Rule-Based Parsing of Morphologically Rich Languages

Jarušek, Petr

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2013

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Modeling Problem Solving Times in Tutoring Systems

Jonáš, Martin

(awarded the degree Ph.D.)

Doctoral Studies, Faculty of Informatics, 2019

Programme: Informatics (4-years)
Field of Study: Informatics
Doctoral theses, Dissertations: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice