MenoPriezviskoNázovVedúciRokKľúčové slová
SamuelSládekVylepšenie typového systému medzi-jazyka FuzzIL vo fuzzeri FuzzilliRNDr. Richard Ostertág, PhD. 2021 fuzz testovanie, JavaScript, interpreter, Fuzzilli, odvodzovanie typov
MatúšJuranLongest Shortest Words in Regular LanguagesRNDr. Peter Kostolányi, PhD. 2021 shortest word, rotating finite automaton, alternating finite automaton
SamuelMolčanModely na monitorovanie chronického ochoreniadoc. Mgr. Bronislava Brejová, PhD. 2021 optimalizačná metóda, lineárny zmiešaný model, skleróza multiplex
AlojzStúpalNerepetitívne zoznamové farbenia ciestdoc. RNDr. Robert Lukoťka, PhD. 2021 nerepetitívnosť, zoznamovosť, farbenie, cesta, graf
MatejŠtubniakČiastočne užitočná informáciaprof. 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
AdriánKocúrekReducible Configurations for TSP on Subcubic Graphsdoc. RNDr. Robert Lukoťka, PhD. 2021 TSP, graphs, trees
JakubŠmahovskýSimplified Language Extension for Tamarin-Proverdoc. RNDr. Martin Stanek, PhD. 2021 cryptographic protocols, Tamarin-Prover, translator
PeterBeczaSystém na podporu výučby kódovania doc. RNDr. Daniel Olejár, PhD 2021 samoopravné kódy, e-learning
DávidBarboraWeighted Contextual Grammars RNDr. Peter Kostolányi, PhD. 2021 kontextuálne gramatiky s váhami, formálny mocninový rad, polokruh
JurajŽitňanskýGenerovanie kubických grafov zo 7-regulárnych grafovdoc. RNDr. Robert Lukoťka, PhD. 2021 kubický graf, snark, zafarbiteľnosť, izomorfizmus, automorfizmus, nikde-nulový tok
JánRosinaNondeterminism in generative systemsprof. RNDr. Branislav Rovan, PhD. 2021 generative systems, determinism, nondeterminism, generative systems with endmarker