Theses on a related topic (having the same keywords):
complexity, markov chain, decidability, verification, probabilistic pushdown automatonKeywords ordered alphabetically | Keywords ordered by occurrence rate
51.
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
52.
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
53.
Morháčová, Veronika
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Social Work / Social Work Micro – Counselling
Master's thesis defence: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Social Work / Social Work Micro – Counselling
Master's thesis defence: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Theses on a related topic
54.
Moutelík, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
55.
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
56.
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
57.
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
58.
Nešpor, Zdeněk
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Informace, chaos a komplexita: Nové hranice informační vědy | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Informace, chaos a komplexita: Nové hranice informační vědy | Theses on a related topic
59.
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
60.
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
61.
Novotná Škarková, Jana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algoritmus AKS | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algoritmus AKS | Theses on a related topic
62.
Novotný, Petr
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic
63.
Omastová, Hedvika
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Aplikace lineární algebry | Theses on a related topic
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Aplikace lineární algebry | Theses on a related topic
64.
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
65.
Pham, Thanh Trang
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic
66.
Pipek, Vojtěch
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Special Education
Master's thesis defence: On Backchannels in English Conversation | Theses on a related topic
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Special Education
Master's thesis defence: On Backchannels in English Conversation | Theses on a related topic
67.
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
68.
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
69.
Rejková, Anna
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vícestavové modely v zdravotním pojištění | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vícestavové modely v zdravotním pojištění | Theses on a related topic
70.
Slabá, Iva
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Theses on a related topic
71.
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
72.
Slámová, Dana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Úloha autoevaluace v mateřské škole | Theses on a related topic
73.
Slovák, Petr
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem | Theses on a related topic
74.
Staněk, Ondřej
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theory of Interactive Media / Culture Management, Theory of Interactive Media
Master's thesis defence: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Theses on a related topic
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theory of Interactive Media / Culture Management, Theory of Interactive Media
Master's thesis defence: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Theses on a related topic
75.
Stehlík, Ondřej
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Theses on a related topic
76.
Stražovský, Oldřich
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2003, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Efektivní analýza ohraničených Petriho sítí | Theses on a related topic
77.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Verifikace hybridních systémů | Theses on a related topic
78.
Szczuková, Lenka maiden name: Puczoková
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Theses on a related topic
79.
Š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
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
80.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
81.
Štrofová, Zuzana
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Sociology / Sociology
Bachelor's thesis defence: "The Audit Society" and Its Effects on Governmentality and Regulation in Society | Theses on a related topic
82.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Quantitative Formal Methods for High-level Robot Path Planning | Theses on a related topic
83.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
84.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
85.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
86.
Višňovská, Ema
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: International Relations / International Relations
Bachelor's thesis defence: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Theses on a related topic
87.
Vlašín, Marek
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Systémy hromadné obsluhy | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Systémy hromadné obsluhy | Theses on a related topic
88.
Voráček, Vojtěch
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Informatics for secondary school teachers, Teaching of Mathematics for Secondary Schools
Master's thesis defence: Aplikace interpretovatelných metod strojového učení v analýze matematických úloh | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Informatics for secondary school teachers, Teaching of Mathematics for Secondary Schools
Master's thesis defence: Aplikace interpretovatelných metod strojového učení v analýze matematických úloh | Theses on a related topic
89.
Wiesner, David
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelizace obrazového simulátoru buněčných populací | Theses on a related topic
90.
Zahradníček, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza populačních protokolů | Theses on a related topic