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

implementation, state space reductions, multi-threading, shared memory, model checking, low-level virtual machine, linear temporal logic, parallel algorithms, distributed memory, partial order reduction, explicit-state model checking, software model checking

Keywords ordered alphabetically | Keywords ordered by occurrence rate

51.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic Display description

52.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | Theses on a related topic

53.
Březina, Miloš
Faculty: Faculty of Social Studies
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Posouzení potřeb klientů v mobilním nízkoprahovém zařízení | Theses on a related topic

54.
Bříza, Michal
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Odhad geometrických vlastností digitálních objektů | Theses on a related topic

55.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic

56.
Culková, Anna
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Education - Vocational Training (combination/specialization: Obory obchodu a služeb)
Bachelor's thesis defence: Hospitace a její funkce | Theses on a related topic

57.
Čechová, Petra
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Tvorba a realizace právních předpisů samosprávy | Theses on a related topic

58.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic

59.
Čermáková, Monika
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Společenská odpovědnost v bankovním sektoru | Theses on a related topic

60.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic

61.
Deák, Katalin
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vnitrostátní implementace směrnice EU, která je v rozporu s ústavním pořádkem | Theses on a related topic

62.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic

63.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic

64.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic

65.
Dolejšová, Helena maiden name: Lúčová
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Financial Management (combination/specialization: Financial Management)
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic

66.
Drahovská, Adriana
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Podnikatelský plán a strategie malého a středního podniku v oblasti e-businessu | Theses on a related topic

67.
Dvořáková, Jana
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Vybrané otázky aplikace výkonového rozpočtování na místní úrovni | Theses on a related topic

68.
Džavík, Pavel
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations and Energy Security
Master's thesis defence: Implementace energeticko - klimatického balíčku v České republice | Theses on a related topic

69.
Fialová, Hana
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Bachelor's thesis defence: Programové dokumenty regionální politiky ČR a jejich implementace

70.
Fiantová, Monika
Faculty: Faculty of Law
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Vstup ČR do EU: začátky uplatňování práva ES v českém prostředí | Theses on a related topic

71.
Flajšingerová, Veronika
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Tvorba a realizace právních předpisů samosprávy | Theses on a related topic

72.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic

73.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic

74.
Grossmann, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic
Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic

75.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic

76.
Hančin, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: A Mobile Android Application for Music Recommendation | Theses on a related topic

77.
Hanousková, Renata
Faculty: Faculty of Social Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Public and Social Policy and Human Resources / Public and Social Policy and Human Resources, Social Anthropology
Bachelor's thesis defence: Implementace a dopady podpůrných opatření na vybrané základní škole | Theses on a related topic

78.
Hanusová, Hana
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Special Education for Upper Secondary School Teachers, Teacher Training of Specialized Subjects for Secondary Schools – Specialisation in Services
Master's thesis defence: Adaptace žáků v pracovním prostředí | Theses on a related topic

79.
Haran, Himanshu Kumar
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic

80.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic

81.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic

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

83.
Hejlek, Petr
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Softwarové nástroje a jejich aplikace pro řízení firem | Theses on a related topic

84.
Herkeľ, Radovan
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Porovnání implementace strukturálních fondů ve vybraných zemích | Theses on a related topic

85.
Herzánová, Leona
Faculty: Faculty of Law
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Public Policy / Public Administration
Master's thesis defence: Hodnotící model CAF v české veřejné správě | Theses on a related topic

86.
Hladová, Lucie
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Zavedení lean managementu v podniku | Theses on a related topic

87.
Hlaváč, Igor
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: Kaizen a jeho možná implementace do vysokoškolských knihoven | Theses on a related topic

88.
Holeček, Jan
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarového plánovače paměti

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

90.
Honzů, Kristýna
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: EVROPA 2020 a reflexe ve strategických dokumentech členských států | Theses on a related topic

91.
Horáček, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Webový modul pro monitorování a analýzu robustnosti temporálních vlastností biologických systémů | Theses on a related topic

92.
Horáčková, Petra
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Nursing / General Nurse
Bachelor's thesis defence: Implementace nových poznatků do praxe sester v nemocničních zařízeních | Theses on a related topic

93.
Horký, Miroslav
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Předimplementační analýza ERP systému Oracle NetSuite pro provoz knihovny | Theses on a related topic

94.
Hořáková, Lenka
Faculty: Faculty of Social Studies
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Social Policy and Social Work / Psychology, Social Policy and Social Work
Bachelor's thesis defence: Možnosti a limity zavádění terapeutických programů pro pachatele domácího násilí v ČR: případová studie z brněnského regionu | Theses on a related topic

95.
Hosnedlová, Pavla
Faculty: Faculty of Social Studies
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Pozdní a včasná transpozice směrnic EU v ČR pohledem exekutivní a legislativní moci | Theses on a related topic

96.
Hrabovská, Terezie
Faculty: Faculty of Economics and Administration
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Economic Policy / Economic Policy
Bachelor's thesis defence: Makroobezřetnostní politika – Teorie a realita | Theses on a related topic

97.
Hrazděrová, Markéta
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Analýza implementace účetního softwaru ve vybrané firmě | Theses on a related topic

98.
Hubálková, Zuzana
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Sociology / Public Policy and Human Resources, Sociology
Bachelor's thesis defence: Faktory, které brání nebo podporují zvýšení zaměstnatelnosti absolventů ve vybraném programu z hlediska jeho realizátorů | Theses on a related topic

99.
Hudcovicová, Katarína
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Detection of Propagandistic Techniques in Text using Pretrained Language Models | Theses on a related topic

100.
Humlíčková, Jana maiden name: Valičová
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Teacher Training of Specialized Subjects for Secondary Schools
Master's thesis defence: Vzdělávací kurz pro mládež se zaměřením na práci instruktora | Theses on a related topic