Graduates and Theses

Number of results: 64

Search for a graduate and thesis

Search term

Limit search to

Title of the thesis/dissertation

Alumnus/author of the work

Supervisor/a reader

Keywords

Faculty

Department under which the thesis has been written

Person's academic degree

Year of defence

Field of Study/plan

include only defended theses

Faculty

Faculty of Informatics

Field of Study/plan

FI - Informatics: Parallel and Distributed Systems

include only defended theses

Mrázek, Jan

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: RoFI -- Distributed Metamorphic Robots

Navrátil, Peter

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Shortest Hamiltonian Cycles in Graphs with Time Constraints

Němeček, David

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Efficient computation and visualization of correlations in medical signals

Nižnan, Juraj

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Learning from problem-solving data

Novosad, Jiří

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Predicate Abstraction of DiVinE Models

Obetko, Šimon

(awarded the degree Mgr.)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Automated Infrastructure Deployment on Public and Private Cloud as a Part of Continuous Integration Process

Papoušek, Jan

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Robustness analysis of continuous-time dynamical systems in distributed environment

Pastva, Samuel

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Parallel parameter synthesis from hybrid logic HUCTL formulas

Pekarčíková, Zuzana

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Supervised outlier detection

Plášil, Roman

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Counterexample explanation in DiVinE model-checker

Slovák, Petr

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Monte Carlo methods in verification of continuous time stochastic systems

Streck, Adam

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Efficient parameter identification for gene regulatory networks

Šesták, Vít

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Process for approval of third party libraries

Šiška, Adam

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Approximative Algorithms for Minimum Vertex Cover Problem

Štefaňák, Filip

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Equilibria in non-zero-sum reachability games

Štill, Vladimír

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: LLVM Transformations for Model Checking

Tesařová, Eva

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Optimal Sensor Scheduling for Systems under Temporal Constraints

Toman, Viktor

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Efficient Representation of Strategies in Two-Player Games on Graphs

Tomáštík, Marek

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Verification of MPI programs with DIVINE

Tomovič, Lukáš

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Slicing of Parallel Programs