Number of results: 64

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

Jašek, Tomáš

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Verification of Memory Safety with Predator and Symbiotic

Kadlecaj, Jakub

(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: Parallel Bifurcation Analysis in Parametrised Boolean Networks

Kakaš, Richard

(the defence was successful)

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: Causality-Based Parallelization of Input Data Processing

Kejstová, Katarína

(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: Model Checking with System Call Traces

Kočiský, Martin

(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: Open source administrative interface for Stream Data Platform

Kolařík, Matouš

(the defence was successful)

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: Implementation of advanced motion correction methods in electron microscopy

Komárková, Zuzana

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes

Korenčiak, Ľuboš

(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: Effective Algorithms for Time Relation Checking in Message Sequence Charts

Korenčik, 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: Decompiling Binaries into LLVM IR Using McSema and Dyninst

Kratochvílová, Pavla

(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: Web Service for Generic Archive Comparison

Kriho, Jan

(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: Enhanced parser for DVE modelling language

Křetínský, Jan

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Fundamental Properties of Probabilistic Branching-Time Logics

Křivánek, Milan

(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: Verification Tool for Component Systems

Kudrnáčová, Jitka

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Parallel verification of LTL(F,G) properties

Lauko, Henrich

(the defence was successful)

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: Symbolic Model Checking via Program Transformations

Lenčo, Milan

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Verification of Name Service Cache Daemon with DIVINE Model Checker

Luščon, Michal

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: System for discovery and management of log data parsing patterns

Madzin, Matúš

(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: Source-to-source compilation of mapped functions sequences in CUDA

Marek, Jiří

(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: Multimedia Streams Planning with Transcoding using Local Search Heuristics

Mlynárik, Jakub Rudolf

(the defence was successful)

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

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Master's thesis: Cluster analysis and visualization of cybersecurity games progress