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

divine, qt, uzivatelske rozhrani, c++, formalni verifikace, model checking, graficke rozhrani, formal verification, overovani modelu, ui, simulator

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

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

103.
Bouma, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: iOS app for bouldering gyms | Theses on a related topic

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

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

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

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

108.
Bulánek, Viktor
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Soudobé techniky testování bezpečnosti software

109.
Bureš, Michal
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reimplementace nástroje pro editaci obecných elektronických slovníků | Theses on a related topic

110.
Bušinová, Gabriela
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Theory of Interactive Media / Theory of Interactive Media
Bachelor's thesis defence: Principy designu zvukových notifikací a elementů uživatelského rozhraní mobilních aplikací | Theses on a related topic

111.
Buzga, Lukáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Návrh uživatelského rozhraní informačního systému pro správu realitní kanceláře | Theses on a related topic

112.
Cacek, Jan
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Geography for Education, Mathematics for Education
Bachelor's thesis defence: Postoj českých učitelů k využívání umělé inteligence ve výuce | Theses on a related topic

113.
Cigánová, Eliška
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Study on home delivery platforms (UI/UX) | Theses on a related topic

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

115.
Coufal, Jaromír
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Design webového rozhraní pro různé typy zobrazovacích zařízení | Theses on a related topic

116.
Čáp, Filip
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: Distributed Firmware Update for RoFI | Theses on a related topic

117.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: GPU Accelerated Enumerative Model Checking | Theses on a related topic

118.
Dedík, Pavel
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Grafické uživatelské rozhraní systému pro správu závěrečných prací | Theses on a related topic

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

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

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

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

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

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

125.
Fadrná, Helena
Faculty: Faculty of Education
Year: 2021, 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: Infografika – vizualizace dat s příběhem | Theses on a related topic

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

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

128.
Florián, Jan
Faculty: Faculty of Arts
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Transformace simulátorů z analogové do digitální podoby s důrazem na rozvoj digitální formy a využití virtuální reality pro aplikace simulací v odvětví bezpečnostních složek. | Theses on a related topic

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

130.
Forman, Jakub
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Information and Library Studies / Information and Library Studies
Master's thesis defence: Použitelnost vzdělávacích her založených na interakci pomocí rozpoznávání řeči | Theses on a related topic

131.
Frohn, Richard
Faculty: Faculty of Informatics
Year: 2014, studies terminated for failure to fulfill study requirements
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Optimalizace JSF komponent | Theses on a related topic

132.
Fryblík, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Programové vybavení monitorovacího systému mikroprocesorového systému | Theses on a related topic

133.
Gabriel, Filip
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Mobilní aplikace pro měření síly střeliva | Theses on a related topic

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

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

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

137.
Hájek, Drahomír
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Použití mentálních modelů při navrhování grafického uživatelského rozhraní webových stránek akademických knihoven se zaměřením na web knihovny v Liberci. | Theses on a related topic

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

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

140.
Hanžlová, Martina maiden name: Krasnayová
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Specifika vytváření aplikací pro pacienty s PAS | Theses on a related topic

141.
Havran, Ondřej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Systems
Master's thesis defence: Editovatelné podformuláře v CRM | Theses on a related topic

142.
Hendrychová, Ivana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Analýza a návrh rozhraní sociální sítě pro specifickou oblast | Theses on a related topic

143.
Hirner, Erik
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Simulátor prehliadania webu pre potreby bezpečnostného cvičenia | Theses on a related topic

144.
Hlaváček, Miroslav
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Multilayer feedforward neural networks based on multi-valued neurons | Theses on a related topic

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

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

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

148.
Holubec, František
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Graphics and Image Processing
Bachelor's thesis defence: Inovace grafické podoby hry Catch the Phantom | Theses on a related topic

149.
Homola, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Computer Graphics
Master's thesis defence: Generování fantomů pro simulátor biomedicínských obrazových dat | Theses on a related topic

150.
Hopp, Radim
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Kiosk Framework | Theses on a related topic