| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové slová
|
|---|
| Juraj | Žitňanský | Generovanie kubických grafov zo 7-regulárnych grafov | doc. RNDr. Robert Lukoťka, PhD.
| 2021
| kubický graf, snark, zafarbiteľnosť, izomorfizmus, automorfizmus, nikde-nulový tok
|
| Matúš | Juran | Longest Shortest Words in Regular Languages | RNDr. Peter Kostolányi, PhD.
| 2021
| shortest word, rotating finite automaton, alternating finite automaton
|
| Samuel | Molčan | Modely na monitorovanie chronického ochorenia | doc. Mgr. Bronislava Brejová, PhD.
| 2021
| optimalizačná metóda, lineárny zmiešaný model, skleróza multiplex
|
| Alojz | Stúpal | Nerepetitívne zoznamové farbenia ciest | doc. RNDr. Robert Lukoťka, PhD.
| 2021
| nerepetitívnosť, zoznamovosť, farbenie, cesta, graf
|
| Ján | Rosina | Nondeterminism in generative systems | prof. RNDr. Branislav Rovan, PhD.
| 2021
| generative systems, determinism, nondeterminism, generative systems with endmarker
|
| Adrián | Kocúrek | Reducible Configurations for TSP on Subcubic Graphs | doc. RNDr. Robert Lukoťka, PhD.
| 2021
| TSP, graphs, trees
|
| Jakub | Šmahovský | Simplified Language Extension for Tamarin-Prover | doc. RNDr. Martin Stanek, PhD.
| 2021
| cryptographic protocols, Tamarin-Prover, translator
|
| Peter | Becza | Systém na podporu výučby kódovania | doc. RNDr. Daniel Olejár, PhD
| 2021
| samoopravné kódy, e-learning
|
| Samuel | Sládek | Vylepšenie typového systému medzi-jazyka FuzzIL vo fuzzeri Fuzzilli | RNDr. Richard Ostertág, PhD.
| 2021
| fuzz testovanie, JavaScript, interpreter, Fuzzilli, odvodzovanie typov
|
| Dávid | Barbora | Weighted Contextual Grammars | RNDr. Peter Kostolányi, PhD.
| 2021
| kontextuálne gramatiky s váhami, formálny mocninový rad, polokruh
|
| Matej | Štubniak | Čiastočne užitočná informácia | prof. RNDr. Branislav Rovan, PhD.
| 2021
| čiastočne užitočná informácia, regulárny jazyk, nedeterministický konečný automat, stavová zložitosť, trieda jazykov definovaná čiastočnou užitočnosťou
|