Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Dobeš, Andrej
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Přehled nástrojů pro reverzní inženýrství spustitelných aplikací | Theses on a related topic Display description

2.
Korenčik, Lukáš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Decompiling Binaries into LLVM IR Using McSema and Dyninst | Theses on a related topic

3.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic

4.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic

5.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

6.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

7.
Sedláček, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: May-Happen-in-Parallel Analysis for Slicing of Parallel Programs | Theses on a related topic

8.
Šárník, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatická analýza neúplných programů | Theses on a related topic

9.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic

10.
Vitovský, Petr
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Převod LLVM bitkódu do C | Theses on a related topic

11.
Baluchová, Beáta
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Archaeology / Prehistoric Archaeology of Near East
Bachelor's thesis defence: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Theses on a related topic
Bachelor's thesis defence: The Study of Halaf pottery from the Eastern Khabur Archaeological Survey (EHAS) in Iraqi Kurdistan | Theses on a related topic

12.
Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Compiling Applications for Analysis with DIVINE | Theses on a related topic

13.
Bátovský, Matúš
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: International Relations / International Relations
Master's thesis defence: Postoj slovenských politických strán k migračnej kríze a k migrácii | Theses on a related topic

14.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic

15.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: A Common Framework for Inquiries about Program Properties | Theses on a related topic

16.
Čebiš, Radim
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Statistická analýza pro hledání chyb v programech | Theses on a related topic

17.
Čonková, Martina maiden name: Nosálová
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Ukrainian Language and Literature
Bachelor's thesis defence: Porovnání gramatických kategorií podstatných jmen v ukrajinském a slovenském jazyce | Theses on a related topic

18.
Diladi, Eduard
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: 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 | Theses on a related topic

19.
Dupal, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic

20.
Foltán, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Modifikace marketingové komunikace cílené na slovenské a české spotřebitele | Theses on a related topic

21.
Gábor, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání současných systémů počítačové algebry | Theses on a related topic

22.
Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic

23.
Hančinová, Silvia
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Ukrainian Studies / Baltic Studies, Ukrainian Studies
Bachelor's thesis defence: Komparatívna jazyková analýza ukrajinských a rusínskych ľudových piesní | Theses on a related topic

24.
Hantáková, Andrea
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Srovnání burz cenných papírů vybraných členů EU s ČR | Theses on a related topic

25.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic

26.
Horov, Dávid
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza běžných chyb studentů programujících v C/C++ | Theses on a related topic

27.
Hudák, Michal
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Legal Questions of Land Register
Bachelor's thesis defence: Vyvlastňování pozemků | Theses on a related topic
Bachelor's thesis defence: Srovnání daňových reforem v ČR a na Slovensku | Theses on a related topic

28.
Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Slicing of LLVM Bitcode | Theses on a related topic

29.
Chmúra, Dominik
Faculty: Faculty of Sports Studies
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Srovnání zakázaných technik v dětských a mládežnických kategoriích ve vybraných úpolových sportech | Theses on a related topic

30.
Imriška, Ľuboš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza portálu hlavního města SR a jeho srovnání s portály měst v ČR. | Theses on a related topic

31.
Kalčok, Lukáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování úrovní detailů pro 3D modely | Theses on a related topic

32.
Kamenický, Tobiáš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nedefinované chování v jazyku C | Theses on a related topic

33.
Kapustová, Mária
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Biblische Phraseologismen im deutsch-slowakischen Vergleich | Theses on a related topic

34.
Kapušová, Nina
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Porovnanie valencie istej skupiny slovies v slovenskom a litovskom jazyku | Theses on a related topic

35.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

36.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Model Checking with System Call Traces | Theses on a related topic

37.
Kersanová, Silvana
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Philology / Scandinavian Studies
Master's thesis defence: Askeladden - postava (anti)hrdiny v nórských národných rozprávkách | Theses on a related topic

38.
Kiš, Kristián
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / German Language and Literature
Bachelor's thesis defence: Analyse und Vergleich der Übersetzung von Phraseologismen in "Harry Potter und der Stein der Weisen" aus dem Englischen ins Deutsche, Slowakische und Tschechische | Theses on a related topic

39.
Klein, Marek
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Finančná gramotnosť na českých a slovenských stredných školách | Theses on a related topic

40.
Klokner, Sebastian
Faculty: Faculty of Law
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: 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 | Theses on a related topic

41.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic

42.
Kopálová, Terézia
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / Slovak Language and Literature
Bachelor's thesis defence: Filmové spracovanie slovenských literárnych diel počas druhej svetovej vojny | Theses on a related topic

43.
Košanová, Katarína
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Environmental Studies / Environmental Studies
Bachelor's thesis defence: Regeneratívne poľnohospodárstvo: Analýza, porovnanie a perspektívy do budúcnosti | Theses on a related topic

44.
Koščák, Branislav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Undefined behaviour in language C | Theses on a related topic

45.
Kováčová, Barbora
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Investování do GreenEnergy ETFs | Theses on a related topic

46.
Kováčová, Kristína
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Philology / Norwegian Language and Literature
Master's thesis defence: Nórčina a holandčina: príbuzné jazyky? Porovnanie nórskych a holandských frazeologizmov so zoologickými a botanickými elementami | Theses on a related topic

47.
Kožár, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Finance / Financial Markets, Institutions and Technologies
Master's thesis defence: Porovnání výkonnosti tradičních ETFs a ETFs splňujících ESG kritéria | Theses on a related topic

48.
Krajňanský, Michal
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse
Bachelor's thesis defence: Podpora preprocesoru CPP v nástroji Stanse | Theses on a related topic

49.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

50.
Krupová, Simona
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Philology / Baltic Languages and Literatures
Bachelor's thesis defence: Porovnanie výučby slovnej zásoby vo vybraných e-learningových kurzoch fínčiny | Theses on a related topic