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

implementation, symmetric multiprocessing, clusters, state space reductions, multi-threading, shared memory, model checking, parallel algorithms, multi-core, distributed memory, partial order reduction

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

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

103.
Jakobová, Martina
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary Schools / Primary School Teacher Training (combination/specialization: Anglický jazyk a literatura)
Master's thesis defence: Tradiční lidová kultura a folklor ve výuce na primárním stupni ZŠ | Theses on a related topic

104.
Jankeová, Ivana
Faculty: Faculty of Economics and Administration
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Výběr účetního softwaru a postup jeho implementace ve vybrané firmě | Theses on a related topic

105.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Transformation of Nondeterministic Büchi Automata to Tight Automata | Theses on a related topic

106.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic

107.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic

108.
Jedlička, Roman
Faculty: Faculty of Law
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Judikatura Soudního dvora ohledně uplatňování daně z přidané hodnoty | Theses on a related topic

109.
Jenčková, Martina maiden name: Jetmarová
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work (combination/specialization: Social Policy)
Master's thesis defence: The Welfare State and Services for Elderly Immigrants | Theses on a related topic

110.
Juhásová, Eva
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Education and Training of Employees in a Multinational Corporation as an Integral Part of the Human Resources Management | Theses on a related topic

111.
Kadaši, Jakub
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Verifikace paralelní hashovací tabulky z knihovny Folly | Theses on a related topic

112.
Kadlic, Pavel
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Informační systém vedení agendy cestovní kanceláře | Theses on a related topic

113.
Kafka, Petr
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Economic Policy
Master's thesis defence: Liberalizace a regulace železničního trhu v ČR | Theses on a related topic

114.
Karas, Ondrej
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Finance and Accounting / Finance
Master's thesis defence: Analýza využití účetních informačních systémů | Theses on a related topic

115.
Karásek, Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Authorship Identification | Theses on a related topic

116.
Kárná, Aneta
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Social Education and Counselling
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic
Bachelor's thesis defence: Podnikové vzdělávání v malých firmách | Theses on a related topic

117.
Keda, Michal
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace formulí logiky LTL | Theses on a related topic

118.
Kejstová, Katarína
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Virtual File System in DIVINE 4 | Theses on a related topic

119.
Klimeš, Zdeněk
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Business Informatics / Business Informatics
Bachelor's thesis defence: Analýza využití cloud computingu | Theses on a related topic

120.
Konečný, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Analýza a implementace procesů na úrovni krizového štábu | Theses on a related topic

121.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic

122.
Kopecký, Jakub
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Open source ERP pro malé a střední firmy | Theses on a related topic

123.
Kormaňák, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Business Informatics
Bachelor's thesis defence: Analýza projektu inovace informačního systému a jeho vyhodnocení | Theses on a related topic

124.
Kořének, Jan
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Geography, Lower Secondary School Teacher Training in German Language
Master's thesis defence: Realizace mezipředmětové výuky na ZŠ | Theses on a related topic

125.
Koukolová, Pavlína
Faculty: Faculty of Economics and Administration
Year: 2009, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Financial Management
Master's thesis defence: Výběr účetního software pro firmu | Theses on a related topic

126.
Kováčová, Linda
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Vplyv umelej inteligencie na filmové festivaly | Theses on a related topic

127.
Kovaříková, Radmila
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: Programové prohlášení zastupitelstva vybraného města - sliby versus výsledek | Theses on a related topic

128.
Kovářová, Pavla
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Education / Education
Bachelor's thesis defence: Podnikové vzdělávání a role personalisty | Theses on a related topic

129.
Kovářová, Petra
Faculty: Faculty of Social Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Work (combination/specialization: Case Social Work)
Master's thesis defence: Postoje pracovníků k implementaci standardů kvality sociálně právní ochrany v zařízení pro děti vyžadující okamžitou pomoc | Theses on a related topic

130.
Kratina, Jaroslav
Faculty: Faculty of Sports Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Management in Sport (combination/specialization: Management in Sport)
Bachelor's thesis defence: Potenciál trhu so športovou výživou v Českej republike a na Slovensku pre vstup novéj firmy | Theses on a related topic

131.
Kratochvíla, Tomáš
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Formální verifikace hardwarových systémů | Theses on a related topic

132.
Kratochvílová, Pavla
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic
Bachelor's thesis defence: Modelování stateflow diagramů pro účely verifikace | Theses on a related topic

133.
Krchňák, Tomáš
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Proxying, recording and replaying syscalls in DiOS | Theses on a related topic

134.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Post-mortem analýza stavového prostoru | Theses on a related topic

135.
Kriho, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Enhanced parser for DVE modelling language | Theses on a related topic

136.
Krmíčková, Michaela maiden name: Pospíšilová
Faculty: Faculty of Economics and Administration
Year: 2011, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic
Master's thesis defence: Veřejná politika vůči neziskovému sektoru ve Francii | Theses on a related topic

137.
Křenek, Jan
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics, Social Informatics
Bachelor's thesis defence: Automatizace vývoje a údržby rezervačního systému LEMMA | Theses on a related topic

138.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Probabilistic Timed Systems with Non-Determinism | Theses on a related topic

139.
Kudrnáčová, Jitka
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kešování stavů pod DiVinE | Theses on a related topic

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

141.
Kurková, Michaela
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Evidence skutečných majitelů právnických osob | Theses on a related topic

142.
Kuzmin, Dmytro
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: IS pro servisní centrum fotografické techniky | Theses on a related topic

143.
Kuzník, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Model Checking of promt-LTL properties | Theses on a related topic

144.
Kyselica, Filip
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Nasazení ERP systému | Theses on a related topic

145.
Lacinová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2013, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Regional Development and Administration
Master's thesis defence: Společenská odpovědnost firem v Moravskoslezském kraji | Theses on a related topic

146.
Láska, Ľuboš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování parametrizovaných systémů v jazyce DiVinE | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic
Bachelor's thesis defence: Analýza a hodnocení webových stránek veřejné správy | Theses on a related topic

147.
Lenčo, Milan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Name Service Cache Daemon with DIVINE Model Checker | Theses on a related topic

148.
Leskovská, Andrea
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: eGovernment a implementace inovace - vybraný subjekt veřejné správy | Theses on a related topic

149.
Lipplová, Anna
Faculty: Faculty of Economics and Administration
Year: 2005, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Administration
Master's thesis defence: Implementace fondů EU v Jihočeském kraji

150.
Liška, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Multiplatformní abstrakce OpenGL | Theses on a related topic