Graduates and Theses

Number of results: 7

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

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Translation of LTL to omega-automata

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Algorithms for Finding Minimal Unsatisfiable Subsets

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2011

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Probabilistic Timed Systems with Non-Determinism

(the defence was successful)

Advanced Master's state examination, Faculty of Informatics, 2019

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Discrete Bifurcation Analysis

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2012

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Model Checking Software

(the defence was successful)

Advanced Master's state examination, Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: Memory-Model-Aware Analysis of Parallel Programs

(awarded the degree RNDr.)

Advanced Master's state examination, Faculty of Informatics, 2018

Programme: Informatics
Field of Study: Parallel and Distributed Systems
Advanced Master's thesis: P2P Cryptocurrency Exchange and Blockchain Size Reduction