Number of results: 66

Field of Study/plan
FI - Informatics: Theoretical Informatics
include only defended theses

Abaffy, Matúš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2015

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Computational Complexity of Patrolling Games on Oriented Graphs

Abaffy, Michal

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2013

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Patrolling Games on Graphs

Ajdarów, Michal

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2020

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Partially Observable Markov Decision Processes with Consumption Objectives

Babej, Tomáš

(awarded the degree Mgr.)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Quantum-enhanced sampling for probabilistic inference in undirected graphical models

Bezek, Matúš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: FO interpretations in restricted graph classes

Caha, Libor

(awarded the degree Mgr.)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Quantum 2-SAT in 1D geometry

Čadek, Pavel

(awarded the degree Mgr.)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2015

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Symbolic Loop Bound Analysis

Foltýnová, Zuzana

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2013

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Scientific Journal Editing Platform

Gajarský, Jakub

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Efficient solvability of graph MSO properties

Ganian, Robert

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2008

Programme: Informatics
Master's thesis: Automata-formalization for graphs of bounded rank-width

Gomola, Radek

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2014

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Extension of the tool JGAF

Hlaváčik, Matúš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Software systems for virtual patients authoring and delivery in medical education

Horváth, Ján

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2021

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Information Retrieval Techniques for 3D Human Motion Data

Chalupa, Marek

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Slicing of LLVM Bitcode

Chodil, Miroslav

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: The satisfiability problem for probabilistic temporal logics

Janík, Tomáš

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Weak factorization systems

Jankaničová, Natália

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2021

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Algorithms for Counting of Maximal Satisfiable Subsets.

Jonáš, Martin

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2014

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Description of regular languages using predicate logic

Jurnečka, Filip

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2010

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Randomness extractors in Mobile Devices

Klaška, David

(the defence was successful)

Master's degree programme (following the bachelor's one), Faculty of Informatics, 2017

Programme: Informatics
Field of Study: Theoretical Informatics
Master's thesis: Solving patrolling games using optimization techniques