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

101.
Bezuchová, Monika
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Specifiky vývoje tématu na přikladu vlastního dokumentárního díla | Theses on a related topic Display description

Master's thesis defence: Specifika vývoje tématu na příkladu vlastního dokumentárního díla | Theses on a related topic Display description

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

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

104.
Bočánek, Marek
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: Implementace marketingu do malého nebo středního podniku | Theses on a related topic

105.
Bohušová, Kamila
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Special Education
Master's thesis defence: ...barva...akce...gesto...tvar... | Theses on a related topic

106.
Bráblík, František
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro animaci grafu měnícího se v čase | Theses on a related topic

107.
Brchaňová, Jitka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Malinkatosti | Theses on a related topic

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

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

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

111.
Brukner, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Integer abstract domains | Theses on a related topic

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

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

114.
Burešová, Lenka
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Gallery Education and Arts Facilitation, Secondary School Teacher Training in Arts
Master's thesis defence: Fenomén horror vacui (možnosti jeho překonávání i zdroj umělecko-pedagogické inspirace) | Theses on a related topic

115.
Cetkovský, Zdeněk
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Editor abstraktní stylizace fotografií | Theses on a related topic

116.
Cisko, František
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic
Master's thesis defence: 3d interaktivní počítačová hra pro děti předškolního věku | Theses on a related topic

117.
Csivreová, Szabina
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Art History / Art History
Master's thesis defence: Abstrakcia vo fotografii | Theses on a related topic

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

119.
Czinegeová, Noémi
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / History of Arts
Bachelor's thesis defence: Interpretácia diela "Slnko-Človek-Tvár" Imre Baka | Theses on a related topic

120.
Čapková, Lenka maiden name: Špačková
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Výzkum abstrakce a zobecnění u dětí | Theses on a related topic

121.
Čebiš, Radim
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Statistická analýza pro hledání chyb v programech | Theses on a related topic

122.
Č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

123.
Č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

124.
Daňková, Johana
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: České geometrické a konkrétní umění a Klub konkretistů 2 - Olomouc | Theses on a related topic

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

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

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

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

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

130.
Dosoudil, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Automatizovaný nástroj pro databázovou synchronizaci | Theses on a related topic

131.
Drahošová, Nikola
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in German Language and Literature
Bachelor's thesis defence: Barvy geometrie | Theses on a related topic

132.
Drahošová, Nikola
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Arts Education, Visual Arts
Master's thesis defence: Komplikovanost jednoduchosti | Theses on a related topic

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

134.
Dupal, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Reduced product of abstract domains | Theses on a related topic

135.
Durčák, Lukáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Implementace ZRTP v C++ | Theses on a related topic

136.
Dvorský, Štěpán
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Replicas of reverse-engineered classes in C++ | Theses on a related topic

137.
Dvořáková, Adéla
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: Arts and Visual Arts for Education / Arts and Visual Arts for Education
Bachelor's thesis defence: Abstraktní geometrie | Theses on a related topic

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

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

140.
Feichtinger, František
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modul pro zadávání příčných řezů | Theses on a related topic

141.
Feranec, Adam
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Analysis of C++ build time optimizations for MSBuild | Theses on a related topic

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

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

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

145.
Foltín, Matúš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Aplikace pro podporu automatické konverze rastrových obrázků | Theses on a related topic

146.
Gajdoš, Andrej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Testování grafických uživatelských rozhraní | Theses on a related topic

147.
Gajdoš, Daniel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: PVM rozhraní pro DiVinE | Theses on a related topic

148.
Glembek, Veronika
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Hledání... | Theses on a related topic

149.
Glozar, Tomáš
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Enhancing DiffKemp to Support Generic Projects | Theses on a related topic

150.
Gracík, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Sdílená pracovní plocha | Theses on a related topic