MenoPriezviskoNázovVedúciRokKľúčové slová
ŠimonSádovskýPrídavná informácia a zložitosť nedeterministických konečných automatovBranislav Rovan 2017 nedeterministický konečný automat, rozklad nedeterministického konečného automatu, nedeterministická rozložiteľnosť, prídavná informácia, popisná zložitosť
MáriaVajdováVektorová reprezentácia slov využívajúca morfológiuRNDr. Michal Forišek, PhD. 2017 slovné vektory, morfológia, ngramy
JozefBrandysDetekcia zneužívania bezpečnostných zraniteľností v binárnych programochMgr. Peter Košinár 2017 binárny program, exploitácia, detekcia, klasteri- zácia, cfi, zraniteľnosť
TomášKublaNávrh komunikačného protokolu pre inteligentnú zásuvkuRNDr. Richard Ostertág PhD. 2017 internet vecí, inteligentná zásuvka, bezpečný komunikačný protokol
MarcelSchichmanKorekcia dlhých čítaní s vysokým počtom chýbMgr. Tomáš Vinař, PhD. 2017 DNA, sekvenácia, korekcia, PacBio, heuristiky
TomášPaulíkBezpečnostná analýza vybraných hardvérových zariadeníRNDr. Richard Ostertág PhD. 2017 bezpečnosť, 1-Wire, Antiklon, UNISIEŤ
BorisKruľParakonzistentná Sémantika pre Multidimenzionálne Dynamické Logické ProgramyRNDr. Martin Baláž 2017 stabilný model, parakonzistencia, multidimenzionálny dynamický logický program
OlíviaKunertováCircular chromatic index of small snarksRNDr. Ján Mazák, PhD. 2017 snark, circular chromatic index, circular edge colorability
MariánHorňákElektronické hlasovanie pri malom počte hlasujúcichDaniel Olejár 2017 elektronické hlasovanie, bezpečnosť