Theses on the Same Topic

Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

Abaffy, Matúš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Složitost řešení patrolovacích her na orientovaných grafech | Theses on a related topic

Baštan, Petr
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Biometric algorithms for iris recognition | Theses on a related topic

Bednářová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Faktory ovlivňující dodržování daňových předpisů: Teoretické a experimentální přístupy | Theses on a related topic

Blahoudek, František
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Nástroje pro automatickou analýzu dynamicky alokované paměti | Theses on a related topic

Blašková, Veronika
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Ověřování projektů auditorem | Theses on a related topic

Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic

Daubner, Lukáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Computer systems, communication and security
Master's thesis defence: Assurance of Forensic-Ready Software Systems | Theses on a related topic

Doležalová, Ivana
Faculty: Faculty of Law
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Theses on a related topic

Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi | Theses on a related topic

Fodor, Jakub
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: The Relevance of Stochastic Variables in Economics | Theses on a related topic

Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Finite-State Stochastic Systems | Theses on a related topic

Forch, Vlastislav
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Pravděpodobný výsledek jednoduché poziční hry | Theses on a related topic

Franěk, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatic documentation generation from SystemVerilog source files | Theses on a related topic

Fritzová, Denisa
Faculty: Faculty of Medicine
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Laboratory Assistant
Bachelor's thesis defence: Verifikace nově instalovaných POCT analyzátorů acidobazické rovnováhy na pracovištích intenzivní medicíny | Theses on a related topic

Fronček, Peter
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Utilizing the Complexity Paradigm in Sociology | Theses on a related topic

Ganswohlová, Tereza
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aplikace markovských procesů v pojistné matematice | Theses on a related topic

Ha Trinh, Hung Son
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specializations in Health Science / Optics and Optometry
Bachelor's thesis defence: Oko jako biometrický identifikátor | Theses on a related topic

Hajdúk, Roman
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření nástroje STORM model checker pro GSMP modely | Theses on a related topic

Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic

Holík, Lukáš
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Rozhodnutelnost v temporálních logikách | Theses on a related topic

Hordějčuková, Klára
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Spojité Markovovské řetězce a jejich použití | Theses on a related topic

Hrdlička, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic

Chalupa, Marek
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Symbolic Execution for Verification | Theses on a related topic

Jasenčáková, Soňa
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Pravda v súčasnom intuicionizme a anti-realizme | Theses on a related topic

Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic

Jurík, Karol
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Bonus malus systémy v pojištění | Theses on a related topic

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

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

Kelnar, David
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Lower Secondary School Teacher Training in Special Education, Lower Secondary School Teacher Training in Technical Education
Master's thesis defence: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Theses on a related topic

Kettner, Daniel
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení | Theses on a related topic

Klejchová, Vendula
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: Breaking the Mold: Queer Representation Revolution in Heartbreak High and Its Reboot | Theses on a related topic

Kociánová, Hana
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Theses on a related topic

Kopčoková, Ivica
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic

Kováč, Vladimír
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Public Administration
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic
Bachelor's thesis defence: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Theses on a related topic

Kovalíková, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Bioanalytical Laboratory Diagnostics in Medicine - Bioanalytic / Bioanalytical Laboratory Diagnostics in Medicine - Bioanalyst
Master's thesis defence: Exprese proteinu Schlafen 11 u karcinomu ovaria | Theses on a related topic

Kovářová, Marie
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Psychology (4-years) / General Psychology
Doctoral thesis defence: Komplexita a její vztah k duševním onemocněním | Theses on a related topic

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

Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic

Křetínský, Jan
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Monadická logika druhého řádu na nekonečných řetězcích a stromech | Theses on a related topic

Křetínský, Jan
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic

Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

Kvaka, Tomáš
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii | Theses on a related topic

Maksović, Sofija
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Model-Based Analysis of Forensic-Ready Software Systems | Theses on a related topic

Marčeková, Michaela
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Specifické sekvence v náhodných posloupnostech | Theses on a related topic

Matuška, Jindřich
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Verification of binarised neural networks using ASP | Theses on a related topic

Melnyk, Rostyslav
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Modelování rizika předčasného splacení hypotečního úvěru | Theses on a related topic

Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic