Práce na příbuzné téma (mají shodná klíčová slova):

retdec, reverzne inzinierstvo, llvm, c, dekompilacia, analyza binarnych suborov, porovnanie, mcsema

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Dobeš, Andrej
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Přehled nástrojů pro reverzní inženýrství spustitelných aplikací | Práce na příbuzné téma Zobrazit popisek

2.
Korenčik, Lukáš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Práce na příbuzné téma

3.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Symbolic Model Checking via Program Transformations | Práce na příbuzné téma

4.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Abstractions via Program Transformations | Práce na příbuzné téma

5.
Lauko, Henrich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Technologie a metodologie počítačových systémů
Obhajoba disertační práce: Abstraction via Program Transformation | Práce na příbuzné téma

6.
Mrázek, Jan
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Caching SMT Queries in SymDivine | Práce na příbuzné téma

7.
Sedláček, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Práce na příbuzné téma

8.
Šárník, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatická analýza neúplných programů | Práce na příbuzné téma

9.
Štill, Vladimír
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: LLVM Transformations for Model Checking | Práce na příbuzné téma

10.
Vitovský, Petr
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Převod LLVM bitkódu do C | Práce na příbuzné téma

11.
Baluchová, Beáta
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Archeologie / Pravěká archeologie Předního východu
Obhajoba bakalářské práce: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Práce na příbuzné téma
Obhajoba bakalářské práce: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Práce na příbuzné téma

12.
Baranová, Zuzana
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Compiling Applications for Analysis with DIVINE | Práce na příbuzné téma

13.
Bátovský, Matúš
Fakulta: Fakulta sociálních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba diplomové práce: Postoj slovenských politických strán k migračnej kríze a k migrácii | Práce na příbuzné téma

14.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Integer abstract domains | Práce na příbuzné téma

15.
Brukner, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: A Common Framework for Inquiries about Program Properties | Práce na příbuzné téma

16.
Čebiš, Radim
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Statistická analýza pro hledání chyb v programech | Práce na příbuzné téma

17.
Čonková, Martina roz. Nosálová
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Ukrajinský jazyk a literatura
Obhajoba bakalářské práce: Porovnání gramatických kategorií podstatných jmen v ukrajinském a slovenském jazyce | Práce na příbuzné téma

18.
Diladi, Eduard
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Baltistika
Obhajoba bakalářské práce: Preklady tvorby Sauliusa Šaltenisa do slovenčiny a češtiny: porovnávacia analýza a posúdenie vplyvu ruštiny ako mediačného jazyka | Práce na příbuzné téma

19.
Dupal, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Reduced product of abstract domains | Práce na příbuzné téma

20.
Foltán, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Modifikace marketingové komunikace cílené na slovenské a české spotřebitele | Práce na příbuzné téma

21.
Gábor, Peter
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Porovnání současných systémů počítačové algebry | Práce na příbuzné téma

22.
Glozar, Tomáš
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Enhancing DiffKemp to Support Generic Projects | Práce na příbuzné téma

23.
Hančinová, Silvia
Fakulta: Filozofická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ukrajinská studia / Baltistika, Ukrajinská studia
Obhajoba bakalářské práce: Komparatívna jazyková analýza ukrajinských a rusínskych ľudových piesní | Práce na příbuzné téma

24.
Hantáková, Andrea
Fakulta: Ekonomicko-správní fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Finanční podnikání
Obhajoba diplomové práce: Srovnání burz cenných papírů vybraných členů EU s ČR | Práce na příbuzné téma

25.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Generic Platform for Explicit-Symbolic Verification | Práce na příbuzné téma

26.
Horov, Dávid
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza běžných chyb studentů programujících v C/C++ | Práce na příbuzné téma

27.
Hudák, Michal
Fakulta: Právnická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Právní vztahy k nemovitostem
Obhajoba bakalářské práce: Vyvlastňování pozemků | Práce na příbuzné téma
Obhajoba bakalářské práce: Srovnání daňových reforem v ČR a na Slovensku | Práce na příbuzné téma

28.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Slicing of LLVM Bitcode | Práce na příbuzné téma

29.
Chmúra, Dominik
Fakulta: Fakulta sportovních studií
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Tělesná výchova a sport / Speciální edukace bezpečnostních složek
Obhajoba bakalářské práce: Srovnání zakázaných technik v dětských a mládežnických kategoriích ve vybraných úpolových sportech | Práce na příbuzné téma

30.
Imriška, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Analýza portálu hlavního města SR a jeho srovnání s portály měst v ČR. | Práce na příbuzné téma

31.
Kalčok, Lukáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačová grafika
Obhajoba diplomové práce: Generování úrovní detailů pro 3D modely | Práce na příbuzné téma

32.
Kamenický, Tobiáš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nedefinované chování v jazyku C | Práce na příbuzné téma

33.
Kapustová, Mária
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: Biblische Phraseologismen im deutsch-slowakischen Vergleich | Práce na příbuzné téma

34.
Kapušová, Nina
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Baltistika
Obhajoba bakalářské práce: Porovnanie valencie istej skupiny slovies v slovenskom a litovskom jazyku | Práce na příbuzné téma

35.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

36.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

37.
Kersanová, Silvana
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Skandinávská studia
Obhajoba diplomové práce: Askeladden - postava (anti)hrdiny v nórských národných rozprávkách | Práce na příbuzné téma

38.
Kiš, Kristián
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Německý jazyk a literatura
Obhajoba bakalářské práce: Analyse und Vergleich der Übersetzung von Phraseologismen in "Harry Potter und der Stein der Weisen" aus dem Englischen ins Deutsche, Slowakische und Tschechische | Práce na příbuzné téma

39.
Klein, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Finance a účetnictví / Finance
Obhajoba bakalářské práce: Finančná gramotnosť na českých a slovenských stredných školách | Práce na příbuzné téma

40.
Klokner, Sebastian
Fakulta: Právnická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Věcná práva při mezinárodní koupi zboží v českém právním řádu a srovnání s německou právní úpravou | Práce na příbuzné téma

41.
Konicar, Robert
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: A Nondeterministic File System Model for DiOS | Práce na příbuzné téma

42.
Kopálová, Terézia
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Slovenský jazyk a literatura
Obhajoba bakalářské práce: Filmové spracovanie slovenských literárnych diel počas druhej svetovej vojny | Práce na příbuzné téma

43.
Košanová, Katarína
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Environmentální studia / Environmentální studia
Obhajoba bakalářské práce: Regeneratívne poľnohospodárstvo: Analýza, porovnanie a perspektívy do budúcnosti | Práce na příbuzné téma

44.
Koščák, Branislav
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Počítačové systémy
Obhajoba diplomové práce: Undefined behaviour in language C | Práce na příbuzné téma

45.
Kováčová, Barbora
Fakulta: Ekonomicko-správní fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finance
Obhajoba diplomové práce: Investování do GreenEnergy ETFs | Práce na příbuzné téma

46.
Kováčová, Kristína
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Norský jazyk a literatura
Obhajoba diplomové práce: Nórčina a holandčina: príbuzné jazyky? Porovnanie nórskych a holandských frazeologizmov so zoologickými a botanickými elementami | Práce na příbuzné téma

47.
Kožár, Lukáš
Fakulta: Ekonomicko-správní fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finanční trhy, instituce a technologie
Obhajoba diplomové práce: Porovnání výkonnosti tradičních ETFs a ETFs splňujících ESG kritéria | Práce na příbuzné téma

48.
Krajňanský, Michal
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse
Obhajoba bakalářské práce: Podpora preprocesoru CPP v nástroji Stanse | Práce na příbuzné téma

49.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

50.
Krupová, Simona
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Baltistika
Obhajoba bakalářské práce: Porovnanie výučby slovnej zásoby vo vybraných e-learningových kurzoch fínčiny | Práce na příbuzné téma