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

automatic verification, probabilistic models, qualitative analysis, parallel model checking, end components, system of linear inequalities, linear temporal logic, markov decision processes, strongly connected components

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic Display description

2.
Ajdarów, Michal
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji | Theses on a related topic

3.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

4.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic

5.
Ballarinová, Darja
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza vybraného podniku | Theses on a related topic

6.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic

7.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic

8.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic

9.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Linear Temporal Logic and omega-automata | Theses on a related topic

10.
Boček, Štěpán
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Lexical cohesion in Stephen King's short stories | Theses on a related topic

11.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

12.
Brožová, Kristýna
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Integrace psychedelické zkušenosti perspektivou terapeutů | Theses on a related topic

13.
Bukáček, Martin
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Mezi legitimizací a stigmatizací: Diskurz krajně-pravicového populismu v online zpravodajství portálů iDnes.cz a Novinky.cz | Theses on a related topic

14.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Theses on a related topic

15.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Designing Data-Parallel Graph Algorithms for Model Checking | Theses on a related topic

16.
Doležalová, Adéla
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Analýza kurikula předškolního vzdělávání v Severním Irsku | Theses on a related topic

17.
Dovjak, Ján
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Vyhodnotenie nástrojov poskytovania spätnej väzby v kyberbezpečnostnom tréningu | Theses on a related topic

18.
Duchoňová, Hana
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Social Policy and Social Work / Psychology, Social Policy and Social Work
Bachelor's thesis defence: Zaměstnávání osob s mentálním postižením: představy a zkušenosti | Theses on a related topic

19.
Dušková, Lenka
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza vybraného podniku | Theses on a related topic

20.
Fábryová, Ivana
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza podniku | Theses on a related topic

21.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Controller Synthesis for Markov Decision Processes with Branching - Time Objectives | Theses on a related topic

22.
Haľama, Ondrej
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Psychology / Psychology
Bachelor's thesis defence: Profesné sebapojatie vysokoškolských pedagógov v období pandémie COVID-19 | Theses on a related topic

23.
Helmer, Jason Monroe
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: English Language for Education / English Language for Education
Bachelor's thesis defence: Cultivating Language Learning: The Effectiveness of Experiential and Project-Based ESL Learning in an Agricultural Setting | Theses on a related topic

24.
Hromádková, Věra
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Humanities / English Language and Literature, English-language Translation
Master's thesis defence: Pragmatics in legal language: Deixis | Theses on a related topic

25.
Hudcová, Alena
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza vybraného podniku | Theses on a related topic

26.
Ivanová, Martina
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Sociální sítě v kontextu právní etiky | Theses on a related topic

27.
Jánský, Jiří
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Putující vlny v rovnicích reakce difúze | Theses on a related topic

28.
Janů, Eva maiden name: Němcová
Faculty: Faculty of Medicine
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Imaging Methods and Medical Physics / Radiology
Doctoral thesis defence: Využití kontrastní ultrasonografie v diferenciální diagnostice ložiskových změn mléčné žlázy | Theses on a related topic

29.
Khýrová, Veronika
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Reprodukční plánování studentek Masarykovy univerzity, kvalitativní studie | Theses on a related topic

30.
Klimoš, Miroslav
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Synthesis of Minimal Schedulers for Markov Decision Processes | Theses on a related topic

31.
Kloučková, Magdaléna
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Sociology / Environmental Studies, Sociology
Bachelor's thesis defence: Analýza protestní kampaně Milion chvilek pro demokracii | Theses on a related topic

32.
Kolečkářová, Tereza
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism (combination/specialization: Media Studies), Sociology
Bachelor's thesis defence: Žena novinářka jako povolání nebo profese? | Theses on a related topic

33.
Komárková, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes | Theses on a related topic

34.
Kouřil, Vojtěch
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Linking Adverbials in Academic Prose | Theses on a related topic

35.
Kováčik, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulation-based analysis of large-scale dynamical systems | Theses on a related topic

36.
Kováčová, Mária
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza podniku | Theses on a related topic

37.
Kratochvílová, Vendula
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Prožívání psychoterapeutů při práci s klienty s depresí | Theses on a related topic

38.
Krčál, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Determinacy and Optimal Strategies in Stochastic Games | Theses on a related topic

39.
Krčál, Michal
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Economy and Management (4-years) / Business Economy and Management
Doctoral thesis defence: Hodnocení efektivnosti podnikových portálů | Theses on a related topic
Doctoral thesis defence: Hodnocení efektivnosti podnikových portálů | Theses on a related topic

40.
Kristlová, Markéta
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Education / Social Education
Master's thesis defence: Kvalitativní analýza životních příběhů osob aktuálně užívajících nelegální návykové látky | Theses on a related topic

41.
Křtínová, Andrea
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science
Bachelor's thesis defence: Politická strana OĽANO jako příklad populistické strany | Theses on a related topic

42.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní verifikace LTL(F,G) vlastností | Theses on a related topic

43.
Kusá, Tamara
Faculty: Faculty of Economics and Administration
Year: 2016, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza podniku | Theses on a related topic

44.
Lopuch, Jozef
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Geography and Cartography / Social Geography and Regional Development
Master's thesis defence: Motivace v temném cestovním ruchu | Theses on a related topic

45.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

46.
Maschlanka, Luisa
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Governance
Master's thesis defence: Just transition towards a climate neutral society: An analysis of trade union strategies in four European countries | Theses on a related topic

47.
Mikésková, Patrícia maiden name: Konečná
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Chemistry for Education / Chemistry for Education, Physics for Education
Bachelor's thesis defence: Tvorba studijního materiálu pro laboratorní cvičení z analytické chemie | Theses on a related topic

48.
Novotný, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Controller Synthesis for Resource-Aware Systems | Theses on a related topic

49.
Omelka, Ondřej
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Ekonomická analýza podniku | Theses on a related topic

50.
Pavoničová, Ludmila
Faculty: Faculty of Economics and Administration
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Firemní dárcovství jako nástroj společenské odpovědnosti firem | Theses on a related topic