Počet výsledků: 68

Fakulta
Fakulta informatiky
Obor/plán
FI - Informatika: Paralelní a distribuované systémy

Appl, Jiří

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Quantitative Probabilistic Verification in Distributed Environment

Babiak, Tomáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2010

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Almost linear Bűchi automata

Bauch, Petr

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: System Performance Analysis Extension of DiVinE

Bendík, Jaroslav

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Algoritmy pro hledání maximální splnitelné množiny omezení

Beták, Martin

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Document Oriented REST

Bielik, Juraj

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Kentico Cloud delivery to Android TV

Blahoudek, František

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2012

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Translation of an LTL fragment to deterministic Rabin and Streett automata

Bouda, Ondřej

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Refactoring of Sequence Chart Studio

Brukner, Tomáš

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: A Common Framework for Inquiries about Program Properties

Buša, Martin

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2018

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Advanced Autopilot for a small vessel with bow mounted electrical engine

Cupák, Miroslav

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2016

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Beacon Network: A System for Global Genomic Data Sharing

Dražan, Sven

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Výpočetní analýza nelineárních dynamických systémů

Dupal, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Concurrency support for PureScript

Elgyütt, Adrián

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Root Isolation of High-Degree Polynomials

Fabriková, Jana

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2010

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Computational methods for discrete abstractions of ODE models

Fousek, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Optimalizace sekvencí mapovaných funkcí na GPU pomocí jejich skládání

Havel, Vojtěch

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2014

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Generic Platform for Explicit-Symbolic Verification

Havlíček, Jan

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2013

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Untimed LTL Model Checking of Timed Automata

Hlouša, Ondřej

(obhajoba byla úspěšná)

Navazující magisterské studium, Fakulta informatiky, 2017

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Rozvrhování zaměstnanců ve vědeckém zábavním centru

Chmelík, Martin

(udělen titul Mgr.)

Navazující magisterské studium, Fakulta informatiky, 2011

Studijní program: Informatika
Studijní obor: Paralelní a distribuované systémy
Diplomová práce: Realizability of Message Sequence Graphs