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

Počet výsledků: 66

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: Teoretická informatika

zahrnout jen obhájené práce

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Verifikace CTL vlastností v nástroji DiVinE

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: C++ support for Stanse

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Robustness Analysis of Extended Signal Temporal Logic STL*

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Artificial Intelligence in the Elementals Game

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Výkonnostní analýza komponent moderních telekomunikačních směrovacích systémů

(obhajoba byla úspěšná)

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

Studijní program: Informatika
Studijní obor: Teoretická informatika
Diplomová práce: Motion Planning for the RoFI Platform