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

software verification, divine, abstraction, string analysis, abstract execution, lart, implementation, llvm, program transformation, c++, program analysis, symbolic model checking, c, model checking, compilation, heap analysis, refinement

Keywords ordered alphabetically | Keywords ordered by occurrence rate

151.
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 Display description

Bachelor's thesis defence: Výzvy spojené s výměnou ERP | Theses on a related topic Display description

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

153.
Halická, Elena
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Môj život očami Mondriana – súbor fotografických koláží | Theses on a related topic

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

155.
Hančuľák, Radovan
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Security Analysis of an Existing Web Application | Theses on a related topic

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

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

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

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

160.
Herčko, Alex
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Installation and Extension of VerifierCloud | Theses on a related topic

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

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

163.
Hladíková, Běla
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Special Education
Bachelor's thesis defence: Malířská interpretace moderny | Theses on a related topic

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

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

166.
Holcnerová, Martina
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Boj | Theses on a related topic

167.
Holčík, Michal
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Implementace modulu syntézy řeči pro TTS systém BOSS | Theses on a related topic

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

169.
Holeček, Lukáš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vodoznak v PDF souborech | Theses on a related topic

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

171.
Hon, Michael
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Redukce abstrakce | Theses on a related topic

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

173.
Horáček, Jan
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Editor pro komplexní úpravu rastrového obrazu

174.
Horáček, Jan
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Systém automatické kalibrace modelového železničního vozidla | Theses on a related topic

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

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

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

178.
Hornáčková, Katarína
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Bezpečnost USB připojení v OS Android | Theses on a related topic

179.
Horský, Vladimír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Annotation of saccharide molecules | Theses on a related topic

180.
Horský, Vladimír
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Anotace a validace molekul ligandů | Theses on a related topic

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

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

183.
Hrabcová, Terezie
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Iluze (v) prostoru | Theses on a related topic

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

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

186.
Hrubá, Michaela
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Z plochy prostor | Theses on a related topic

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

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

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

190.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic

191.
Hybner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Knihovna geometrických algoritmů CGAL | Theses on a related topic
Bachelor's thesis defence: Knihovna geometrických algoritmů CGAL | Theses on a related topic

192.
Chalupníková, Miloslava
Faculty: Faculty of Arts
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Jaromíra Knoblochová, akademická malířka | Theses on a related topic

193.
Charbulák, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modul pro generování VoIP datového toku end-to-end šifrovaných messengerů | Theses on a related topic

194.
Chlebíková, Jana
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Víc než nic | Theses on a related topic

195.
Chvalinová, Markéta
Faculty: Faculty of Social Studies
Year: 2013, studies terminated for failure to fulfill study requirements
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Optimalizace vzdělávacího systému | Theses on a related topic

196.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Implementácia metód pre meta-analýzu dát z microarray experimentov. | Theses on a related topic

197.
Ihnatová, Ivana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Biology / Mathematical Biology
Advanced Master's thesis defence: MAMA: R-balík pro meta-analýzu microarray | Theses on a related topic

198.
Illík, Viktor
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Chemoinformatics and Bioinformatics
Bachelor's thesis defence: Nástroje pro analýzu trajektorií molekulárně dynamických simulací | Theses on a related topic

199.
Jaďuď, Ján
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Abstractions of Component Interaction Automata | Theses on a related topic

200.
Jaklová, Barbora
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in French Language and Literature
Bachelor's thesis defence: František Kupka - L'innovateur de l'art abstrait | Theses on a related topic