Theses on the Same Topic

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

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

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

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

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

Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Dekompilační nástroje založené na LLVM | Theses on a related topic

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

Nadrchal, Samuel
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Economics, Mathematics
Bachelor's thesis defence: Numerické výpočty v různých programovacích jazycích | Theses on a related topic

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

Šá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

Š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

Adámik, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic
Master's thesis defence: Portál otevřených dat obce: Případová studie | Theses on a related topic

Alfery, Vladimír
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Systém pro automatickou detekci zpožděných letů a dopad na itineráře cestujících | Theses on a related topic

Ambros, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Deployment and operations of software systems
Master's thesis defence: Leveraging Machine Learning for Time Series Predictive Analysis | Theses on a related topic

Andoniadis, Kamil
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Networks and Communication
Master's thesis defence: Automatizované nasazení projektu KYPO | Theses on a related topic

Antalov, Lukáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh webového portálu na bezpečné ukládání citlivých informací | Theses on a related topic

Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správce elektronického poštovního systému | Theses on a related topic

Aster, Jaroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic
Master's thesis defence: Nástroj pro vytváření a správu paketových filtrů | Theses on a related topic

Bajger, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Nový framework pro experimenty strojového učení | Theses on a related topic

Bajužík, Branislav
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro převod příkazů pro počítačové hry | Theses on a related topic

Baláž, Šimon
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Helper scripts for Wikipedia editors | Theses on a related topic

Balek, Filip
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Testovanie systému pre vytváranie a editáciu slovníkov | Theses on a related topic

Baranová, Zuzana
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Static Analyser for BeakerLib Tests | Theses on a related topic

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

Barnišin, Michal
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: AIML 2.1 Chatbot Design Language Interpreter in Python | Theses on a related topic

Bateľ, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezdrátové zařízení pro evidenci docházky | Theses on a related topic

Beľa, Martin
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Visual informatics / Computer graphics and visualization
Master's thesis defence: Chromatin Visualization in Jupyter Notebook and VR | Theses on a related topic

Bernát, Tomáš
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Bachelor's thesis defence: Automatizace modelování podélných profilů pro kritické body pomocí GIS | Theses on a related topic

Bernát, Tomáš
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Geographical Cartography and Geoinformatics
Master's thesis defence: Návrh databáze a analytických nástrojů pro kritické body v terénu | Theses on a related topic

Bílek, Samuel
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: VisualUV: Blender add-on for UV Mapping workflow | Theses on a related topic

Biloš, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Správa inteligentných senzorov v cloudovom prostredí | Theses on a related topic

Bohatá, Tereza maiden name: Šestáková
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Využití hlubokých neuronových sítí pro predikci schizofrenie | Theses on a related topic

Bojnák, Štefan
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Konvertor formátů dat pro sdílení bezpečnostních událostí | Theses on a related topic

Brauner, Šimon
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Ansible Collection for Perun | Theses on a related topic

Brlej, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic

Brtník, Tomáš
Faculty: Faculty of Informatics
Year: 2025, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Extension of the Ruff Linter | Theses on a related topic

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

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

Brynych, Šimon
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Hromadné zpracování záznamů přednášek | Theses on a related topic

Březina, Adam
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Automatizace v praktiku z analytické chemie | Theses on a related topic

Bucňák, Zdeněk
Faculty: Faculty of Informatics
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Implementace kontrolních mechanismů do prostředí WikiSkript | Theses on a related topic

Burgr, Ladislav
Faculty: Faculty of Economics and Administration
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Vliv počtu uchazečů ve veřejné zakázce na výslednou cenu | Theses on a related topic

Bušová, Hana
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Informatics
Master's thesis defence: Výuka programování v jazyce Python pro střední školy | Theses on a related topic

Ceľuch, Jozef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza nástrojů pro vyhledávání hlášených chyb | Theses on a related topic

Cibík, Jozef
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Komponenta pro manipulaci s daty analytického systému CopAS | Theses on a related topic

Cibula, Róbert
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Cartography, geoinformatics and remote sensing / Cartography, geoinformatics and remote sensing
Doctoral thesis defence: Vývoj informačného systému na vizualizáciu 3D modelov a vývoj prototypu na meranie 3D objektov | Theses on a related topic

Čabala, Jaroslav
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Webové rozhraní pro zpracování experimentu SAXS | Theses on a related topic

Č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

Čermák, Andrej
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Lightweight portal for MetaCentrum Cloud | Theses on a related topic

Černianska, Rebeka
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Informatics for secondary school teachers / Teacher of Informatics and IT administrator
Master's thesis defence: Výuka programovania na strednej škole so zameraním na rozvoj algoritmického myslenia | Theses on a related topic