Theses on a related topic (having the same keywords):
brtdp, heuristic planning, markov decision process, verification, pareto curveKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
2.
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
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
3.
Bendel, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic
4.
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
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
5.
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
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
6.
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
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
7.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic
8.
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
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
9.
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
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
10.
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
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
11.
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
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
12.
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
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
13.
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
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
14.
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
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
15.
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
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
16.
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
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
17.
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
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
18.
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
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
19.
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
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
20.
Kadlčík, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Risk-Sensitive Reinforcement Learning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Risk-Sensitive Reinforcement Learning | Theses on a related topic
21.
Kancko, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reinforcement Learning for the Game of Battleship | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reinforcement Learning for the Game of Battleship | Theses on a related topic
22.
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
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
23.
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
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
24.
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
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
25.
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
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
26.
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
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
27.
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
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
28.
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
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
29.
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
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
30.
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
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
31.
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
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
32.
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
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
33.
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
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
34.
Meluš, Dávid
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives | Theses on a related topic
35.
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
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
36.
Mihalkovič, Vincent
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Improved translation of LLVM IR code to C | Theses on a related topic
37.
Miléřová, Drahoslava
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Postavení státního zástupce v trestním řízení | Theses on a related topic
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Postavení státního zástupce v trestním řízení | Theses on a related topic
38.
Murasová, Markéta
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Zavedení nové metody pro stanovení glukózy | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Medical Laboratory Technologist / Medical Laboratory Technologist
Bachelor's thesis defence: Zavedení nové metody pro stanovení glukózy | Theses on a related topic
39.
Nagy, Imrich
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Building open profiles of certified cryptographic devices | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Information security
Master's thesis defence: Building open profiles of certified cryptographic devices | Theses on a related topic
40.
Němec, Richard
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Theses on a related topic
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools – Specialisation Mechanical Engineering
Master's thesis defence: Zvýšení odborné způsobilosti žáků středních odborných škol s elektrotechnickým zaměřením | Theses on a related topic
41.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic
42.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic
43.
Novotný, Petr
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Modeling and Verification of Infinite-State Reactive Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Modeling and Verification of Infinite-State Reactive Systems | Theses on a related topic
44.
Petrák, Ján
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Navigace bludištěm pomocí prohledávání stromu metodou Monte Carlo | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Navigace bludištěm pomocí prohledávání stromu metodou Monte Carlo | Theses on a related topic
45.
Petruchová, Zuzana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic
46.
Podhora, Martin
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: Forensic profiles of certified cryptographic smartcards | Theses on a related topic
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: Forensic profiles of certified cryptographic smartcards | Theses on a related topic
47.
Polián, Tomáš
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic
Faculty: Faculty of Law
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Trestněprávní úprava nebezpečného pronásledování podle § 354 TrZ | Theses on a related topic
48.
Pospíšek, Jaroslav
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Markov Decision Processes with Multiple Resource Constraints | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Markov Decision Processes with Multiple Resource Constraints | Theses on a related topic
49.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
50.
Roch, Oliver
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multidimenzionální posilované učení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multidimenzionální posilované učení | Theses on a related topic