Absolventi a závěrečné práce

Počet výsledků: 7

Vyhledávání absolventů a závěrečných prací

Hledaný výraz

Omezit hledání na

Název práce

Absolvent/autor práce

Vedoucí/oponent

Klíčová slova

Fakulta

Pracoviště závěrečné práce

Titul osoby

Rok obhajoby

Obor/plán

zahrnout jen obhájené práce

Fakulta

Fakulta informatiky

Obor/plán

FI - Informatika: Paralelní a distribuované systémy

zahrnout jen obhájené práce

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Translation of LTL to omega-automata

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Algorithms for Finding Minimal Unsatisfiable Subsets

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Probabilistic Timed Systems with Non-Determinism

(obhajoba byla úspěšná)

Rigorózní řízení, Fakulta informatiky, 2019

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Discrete Bifurcation Analysis

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Model Checking Software

(obhajoba byla úspěšná)

Rigorózní řízení, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: Memory-Model-Aware Analysis of Parallel Programs

(udělen titul RNDr.)

Rigorózní řízení, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Rigorózní práce: P2P Cryptocurrency Exchange and Blockchain Size Reduction