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

semantic equivalence, diffkemp, python, clang, static analysis, llvm, staticka analyza, semanticka ekvivalence

Keywords ordered alphabetically | Keywords ordered by occurrence rate

301.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic Display description

302.
Šinoglová, Eva
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Teplotní struktura horké atmosféry eliptické galaxie | Theses on a related topic

303.
Škrabánek, Matěj
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro tvorbu pluginů pro PyMOL | Theses on a related topic

304.
Šlancar, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Mining usage of cryptographic primitives from executables | Theses on a related topic

305.
Šmíd, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Počítání kroků výpočtu pro jazyk Python | Theses on a related topic

306.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Textové korpusy ze závěrečných prací | Theses on a related topic

307.
Šmíd, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Automated metadata extraction | Theses on a related topic

308.
Šoltis, Michal
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Advanced REST API Development with Django | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic
Bachelor's thesis defence: Vizualizácia štatistík hodnotenia pre nástroj Frag | Theses on a related topic

309.
Šoltisík, Martin
Faculty: Faculty of Informatics
Year: 2022, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic
Master's thesis defence: Classification of Threat Intelligence via Machine Learning Methods | Theses on a related topic

310.
Špik, Matúš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroj pro aktivní identifikaci služeb v síti | Theses on a related topic

311.
Šrol, Eduard
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Process Mining usage for potential insider threat identification utilizing PM4Py | Theses on a related topic

312.
Štefančik, Dominik
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Informační systém sportovních soutěží | Theses on a related topic

313.
Štefanič, Stanislav
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Návrh portálu pro integraci a analýzu klinických a molekulárně-biologických dat. | Theses on a related topic

314.
Š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

315.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Analysis of Parallel C++ Programs | Theses on a related topic

316.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Memory-Model-Aware Analysis of Parallel Programs | Theses on a related topic

317.
Štucka, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Automatic generation of medical reports from the RES-Q system | Theses on a related topic

318.
Šuta, Matej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: String abstract domains | Theses on a related topic

319.
Talaš, Jakub
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Wiki s podporou zpracování sémantiky | Theses on a related topic

320.
Timko, Daniel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Microservices for Situational Awareness and Security Operations | Theses on a related topic

321.
Tkáčik, Kristián
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Pattern Mining in Command Histories from Cybersecurity Training | Theses on a related topic

322.
Tkáčik, Kristián
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Predicting Student Success in Cybersecurity Training | Theses on a related topic

323.
Tóth, Gabriel
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro delegaci přístupu k síťovým prvkům | Theses on a related topic

324.
Tóth, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Design and implementation of mHealth application backend | Theses on a related topic

325.
Trčka, Štěpán
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Využití analýzy časových řad v oblasti monitorování síťového provozu | Theses on a related topic

326.
Trembaczová, Markéta
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Modelling and computations
Master's thesis defence: Simulace neuronální sítě | Theses on a related topic

327.
Trhlík, Pavel
Faculty: Faculty of Informatics
Year: 2017, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Framework pro automatizované kontroly webů s využitím klientského honeypotu Thug | Theses on a related topic

328.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic

329.
Tsimbazafy, Jean Dossa
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: App and dashboard for a smart waiting room | Theses on a related topic

330.
Tuchyňa, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Research of Fedora Status for Machine Learning | Theses on a related topic

331.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic

332.
Urban, Jakub
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Theses on a related topic
Bachelor's thesis defence: Perzistence nastavení testovacího prostředí mezi nezávislými běhy testů | Theses on a related topic

333.
Urban, Lukáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Adapting SBT-Fizzer for Test-Comp | Theses on a related topic

334.
Urbánek, Petr
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Simulační prostředí pro robota Pepper | Theses on a related topic

335.
Urbanová, Renata
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic
Bachelor's thesis defence: Webová aplikace na kontrolu kvality loga | Theses on a related topic

336.
Valčík, Eric Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Detection of Czech Words in Images | Theses on a related topic

337.
Válek, Karel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Public Administration Informatics
Bachelor's thesis defence: Serializace datových struktur konfigurace datových úložišť | Theses on a related topic

338.
Valchář, Filip
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém pro návrh a správu projektu | Theses on a related topic

339.
Vávrová, Pavlína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro řízení a správu volnočasových aktivit | Theses on a related topic

340.
Velek, Martin
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Integrace nástroje Stanse do IDE NetBeans | Theses on a related topic

341.
Vereš, Mário
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic
Bachelor's thesis defence: Webový simulátor Turingova stroje | Theses on a related topic

342.
Veselý, Štěpán
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: E ink Flipchart | Theses on a related topic

343.
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

344.
Vittek, Vladimír
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Webscraping tool for automating checkout process | Theses on a related topic

345.
Vorčák, Ján
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Nástroje pro analýzu kódu v Pythonu a vizualizace jejich výstupu | Theses on a related topic

346.
Vránová, Sandra maiden name: Dedíková
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic
Master's thesis defence: Český diskuzní robot pomocí AIML | Theses on a related topic

347.
Wehrenberg, Petr
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Analysis and Visualization of Events from Cybersecurity Training | Theses on a related topic

348.
Zapletal, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Aplikace pro práci s formuláři ve formátu 602XML Form | Theses on a related topic

349.
Zbožínková, Šárka
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Tvorba otevřených formálních norem: případová studie | Theses on a related topic

350.
Žáček, Ivo
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Systems
Master's thesis defence: Informační systém kulturních akcí | Theses on a related topic