Number of results: 64

Faculty
Faculty of Informatics
Field of Study/plan
FI - Informatics: Parallel and Distributed Systems
include only defended theses

Appl, Jiří

(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: Quantitative Probabilistic Verification in Distributed Environment

Babiak, Tomáš

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Almost linear Bűchi automata

Bauch, 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: System Performance Analysis Extension of DiVinE

Bendík, Jaroslav

(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: Algorithms for finding maximal satisfiable sets of constraints

Beták, Martin

(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: Document Oriented REST

Bielik, Juraj

(awarded the degree Mgr.)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Kentico Cloud delivery to Android TV

Blahoudek, František

(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: Translation of an LTL fragment to deterministic Rabin and Streett automata

Bouda, Ondřej

(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: Refactoring of Sequence Chart Studio

Brukner, Tomáš

(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: A Common Framework for Inquiries about Program Properties

Buša, Martin

(awarded the degree Mgr.)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Advanced Autopilot for a small vessel with bow mounted electrical engine

Cupák, Miroslav

(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: Beacon Network: A System for Global Genomic Data Sharing

Dražan, Sven

(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: Computational analysis of non-linear dynamic systems

Dupal, Jan

(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: Concurrency support for PureScript

Elgyütt, Adrián

(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: Root Isolation of High-Degree Polynomials

Fabriková, Jana

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Computational methods for discrete abstractions of ODE models

Fousek, Jan

(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: Optimization of mapped functions sequences using fusions on GPU

Havel, Vojtěch

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Generic Platform for Explicit-Symbolic Verification

Havlíč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: Untimed LTL Model Checking of Timed Automata

Hlouša, Ondřej

(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: Employee scheduling for science center

Chmelík, Martin

(awarded the degree Mgr.)

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: Realizability of Message Sequence Graphs