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

divine, msc, high-level msc, proverif, formalni verifikace, dve, modelovani, overovani modelu, scstudio, logika ltl, basic msc

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic Display description

102.
Lasák, Ondřej
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Modelování tržního rizika pomocí metod strojového učení a umělé inteligence | Theses on a related topic

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

104.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Symbolic Model Checking via Program Transformations | Theses on a related topic

105.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Abstractions via Program Transformations | Theses on a related topic

106.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

107.
Laurinčík, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Theses on a related topic

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

109.
Lévek, Zdeněk
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování chování sociálního hmyzu | Theses on a related topic

110.
Lounek, Vítězslav
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Multiagentní modelování rezidenční segregace | Theses on a related topic

111.
Malec, Daniel
Faculty: Faculty of Economics and Administration
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Business Management
Bachelor's thesis defence: Využití simulačních metod při řízení podniku | Theses on a related topic

112.
Mareček, Jakub
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Univerzální editor gramatik | Theses on a related topic
Bachelor's thesis defence: Polyedrální přístup k multikriteriální optimalizaci | Theses on a related topic

113.
Marek, Jiří
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Poissonův proces a jeho aplikace | Theses on a related topic

114.
Matúška, Peter
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Knihovna pro komprimované ukládání stavových prostorů na disk | Theses on a related topic

115.
Maxera, Vojtěch
Faculty: Faculty of Education
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Využití trojrozměrných modelů ve výuce na ZŠ | Theses on a related topic

116.
Mičan, Pavel
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Trading space for time in explicit-state model checking | Theses on a related topic

117.
Míka, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Simulace procesů v krizovém řízení | Theses on a related topic

118.
Mrózek, Kryštof
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma physics and nanotechnology
Master's thesis defence: Modelování a simulace iontových motorů založených na vakuovém oblouku | Theses on a related topic

119.
Najman, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Principy modelování technikou ''digital sculpting'' | Theses on a related topic

120.
Neuvirtová, Lucie
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Biology / Mathematical Biology
Master's thesis defence: Epidemiologické analýzy dat onkologických pacientů se zaměřením na modelování časových trendů (aplikace na diagnózu rakoviny prsu) | Theses on a related topic

121.
Novák, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Modelování výukových procesů | Theses on a related topic

122.
Novobílská, Eva
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Keramika se žáky se speciálními potřebami | Theses on a related topic

123.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk | Theses on a related topic

124.
Novotný, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Automatická detekce chyb v programech | Theses on a related topic

125.
Olšar, Jindřich
Faculty: Faculty of Education
Year: 2024, studies under way
Programme/field: Technology and IT for Education / Physics for Education, Technology and IT for Education
Bachelor's thesis defence: Základy počítačem generované grafiky | Theses on a related topic

126.
Ondrůšek, Jakub
Faculty: Faculty of Social Studies
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Political Science / International Relations, Security & Strategic Studies
Bachelor's thesis defence: Využití simulací k výcviku a přípravě v Armádě České republiky | Theses on a related topic

127.
Opl, Lukáš
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Physics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Výuka 3D grafiky v prostředí základní školy | Theses on a related topic

128.
Pecha, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování a simulace s využitím systému Maple a MapleSim | Theses on a related topic

129.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

130.
Písařová, Andrea
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Teacher Training in Foreign Languages - English Language
Bachelor's thesis defence: Men against Gods: Marlowe's Doctor Faustus | Theses on a related topic

131.
Plášil, Roman
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Grafický editor parametrizovaných modelů pro DiVinE | Theses on a related topic

132.
Poledníková, Barbora
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Arts and Visual Arts for Education / Arts and Visual Artsfor Education, Technology and IT for Education
Bachelor's thesis defence: Design, konstruování a příprava pokrmů pro ZŠ | Theses on a related topic

133.
Pospíšil, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Modelování hejn | Theses on a related topic

134.
Prokůpek, Marek
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj rozhodování - modelování pomocí programu Witness | Theses on a related topic

135.
Prvák, Milan
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physics / Theoretical Physics and Astrophysics (combination/specialization: Astrofyzika)
Master's thesis defence: Modelování proměnnosti hvězdy sigma Ori E | Theses on a related topic

136.
Przybylski, Lukáš
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Theses on a related topic

137.
Přikryl, Zdeněk
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Modelování osobnosti | Theses on a related topic
Master's thesis defence: Modelování osobnosti | Theses on a related topic

138.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic

139.
Putík, Josef
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba charakteru v programech 3ds Max a Mudbox | Theses on a related topic

140.
Ranto, Boris
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic
Bachelor's thesis defence: Writing Graph Algorithms in Executable Pseudocode | Theses on a related topic

141.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Kešování stavů při procházení stavových prostorů | Theses on a related topic

142.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

143.
Řehoř, Milan
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / German Language for Education, Technology and IT for Education
Bachelor's thesis defence: Filmové efekty s využitím 3D grafiky v programu Blender | Theses on a related topic

144.
Sedláček, Lukáš
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Arts, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Historické keramické vozy | Theses on a related topic

145.
Schlemmer, Jiří
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Metodika vyúky předmětu výtvarné anatomie v programu 3ds Max 8 | Theses on a related topic

146.
Schmidtová, Tereza
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma Physics
Master's thesis defence: Studium chování hybridního PVD-PECVD procesu | Theses on a related topic

147.
Schneider, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Elektronická učebnice prostorového modelování v programu Cinema4D | Theses on a related topic

148.
Sittová, Lucia
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: Modelování, simulace a optimalizace podnikového procesu v programu Witness | Theses on a related topic

149.
Slaný, Tomáš
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Jsou zelené budovy zdravé budovy? | Theses on a related topic

150.
Slovák, Jakub
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Zájmová činnost při ZŠ – 3D vizualizace a architektonický model | Theses on a related topic