Number of results: 135

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

Abaffy, Matúš

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Exercise Generator for Formal Language Theory

Abaffy, Michal

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2011

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Multipartite entanglement

Ajdarów, Michal

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Minimality problems for promise versions of finite automata

Babej, Tomáš

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2015

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Error detection and correction suite for FreeIPA infrastracture

Balabán, Jakub

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2021

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Constructive twin-width for posets of small width

Balážia, Michal

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2010

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Generating Random Data for Similar Search

Bártek, Filip

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Rabin Games on Finite Graphs

Bartoň, Tomáš

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Framework for BBMMOGs

Bařinka, Marek

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Java source code analysis using the Spoon library

Bendel, Vratislav

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Algorithms for Formal Database Design

Bezek, Matúš

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Characterizing DAG-depth of directed graphs

Bielik, Juraj

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2015

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Consolidation of the Tool JGAF

Blahynka, Martin

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2020

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Non-wellfounded Conway games

Boroš, Petr

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2013

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Clustering analysis in educational data

Bryša, Marek

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Design and implementation of a social network for making acquaintances

Cieslarová, Radka

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2016

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: An impact of cryptographic function's blocks on the randomness properties

Čadek, Pavel

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Loop iteration count analysis

Čekovský, Filip

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: SonarQube plugin for support of object-oriented metrics analysis

Čermák, Andrej

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2021

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Lightweight portal for MetaCentrum Cloud

Elgyütt, Adrián

(the defence was successful)

Bachelor's Studies, Faculty of Informatics, 2014

Programme: Informatics
Field of Study: Mathematical Informatics
Bachelor's thesis: Advanced internet service for solving decidable problems of formal languages