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

linear temporal logic, stuttering, model checking, expressiveness

Keywords ordered alphabetically | Keywords ordered by occurrence rate

101.
Malenovská, Karolína
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Bachelor's thesis defence: Postavení dítěte s narušenou komunikační schopností v běžné třídě MŠ a ZŠ | Theses on a related topic Display description

102.
Maršíková, Eliška
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Skupinová terapie u dospělých osob s koktavostí | Theses on a related topic

103.
Maršíková, Eliška
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Diagnostika balbuties - prototyp mobilní aplikace pro balbutiky | Theses on a related topic

104.
Martynková, Tereza
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na život jedince | Theses on a related topic

105.
Maříková, Eva
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na život mladého dospělého jedince v sociálním kontextu | Theses on a related topic

106.
Matějková, Nikola
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Koktavost a její vliv na život | Theses on a related topic

107.
Matušková, Lenka
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in French Language and Literature, Lower Secondary School Teacher Training in Special Education
Bachelor's thesis defence: Dopad koktavosti na profesní orientaci balbutika | Theses on a related topic

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

109.
Molinová, Bára
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv kurzu Nová mluva na komunikační schopnosti a život osob s koktavostí | Theses on a related topic

110.
Moráček, Martin
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulátor pro modelovací jazyk nástroje DiVinE | Theses on a related topic

111.
Moravec, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Distributed State Space Reductions | Theses on a related topic

112.
Mrázek, Jan
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Caching SMT Queries in SymDivine | Theses on a related topic

113.
Němečková, Dominika
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Logopedická intervence v logopedických třídách mateřských škol ve městě Třinec | Theses on a related topic

114.
Netopilová, Eva
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Pracovní uplatnění jedinců s koktavostí | Theses on a related topic

115.
Neumannová, Leona
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Koktavost a její vliv na život | Theses on a related topic

116.
Nováková, Ľubomíra maiden name: Hrčová
Faculty: Faculty of Education
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Self-efficacy a copingové strategie u osob s balbuties | Theses on a related topic

117.
Novosad, Jiří
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Predicate Abstraction of DiVinE Models | Theses on a related topic

118.
Novotná, Eva
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (Specialization 1 - Speech Therapy and Hearing Impairment)
Master's thesis defence: Otevřený rozhovor s dětmi s balbuties z pohledu logopedů | Theses on a related topic

119.
Novotná, Kamila maiden name: Střeštíková
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Využití prvků muzikoterapie v terapii balbuties | Theses on a related topic

120.
Ostrezi, Eva
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Analýza životní situace osob s koktavostí | Theses on a related topic

121.
Ostrý, Jakub
Faculty: Faculty of Education
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv terapií na jedince s koktavostí v dospělosti | Theses on a related topic

122.
Ošlejšková, Lenka
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Koktavost a sociální fobie | Theses on a related topic

123.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Paralelní syntéza parametrů z formulí hybridní logiky HUCTL | Theses on a related topic

124.
Pavlasová, Eliška
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Žáci s koktavostí na 2. stupni běžné základní školy | Theses on a related topic

125.
Pelánek, Radek
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Reduction and Abstraction Techniques for Model Checking | Theses on a related topic

126.
Pellyová, Marta
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Logopedická intervence u dětí s vývojovou dysfázií a koktavostí v předškolním věku | Theses on a related topic

127.
Pešlová, Hilda
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Zkušenosti a povědomí studentů a pedagogů středních škol o koktavosti | Theses on a related topic

128.
Petruchová, Zuzana
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace komponentových systémů s dynamickou komunikací | Theses on a related topic

129.
Pilař, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Zrychlení syntézy parametrů pro stochastické modely | Theses on a related topic

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

131.
Prášková, Lucie
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Koktavost z pohledu dospělé osoby s balbuties | Theses on a related topic

132.
Přidalová, Gabriela
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education for Teachers
Master's thesis defence: Komunikační kompetence žáků 1. stupně základní školy | Theses on a related topic

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

134.
Recová, Anežka
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Návrh screeningového vyšetření pro včasnou diagnostiku incipientní koktavosti | Theses on a related topic

135.
Ritter, Jana
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in German Language and Literature
Master's thesis defence: Emotionen in journalistischen Texten des österreichischen Nachrichtenmagazins 'NEWS' | Theses on a related topic

136.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Multi-Threaded Nested DFS | Theses on a related topic

137.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic

138.
Rosecký, Václav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikační manažer pro explicitní ověřování modelu | Theses on a related topic

139.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

140.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic

141.
Senko, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies terminated for failure to fulfill study requirements
Programme/field: Informatics / Computer Systems
Master's thesis defence: Formální návrh distribuované hašovací tabulky | Theses on a related topic

142.
Schmidtová, Tereza
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Dopad koktavosti na osobní život balbutiků | Theses on a related topic

143.
Sládková, Monika
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Speech and Language Therapy / Speech and Language Therapy
Master's thesis defence: Vnímání koktavosti z pohledu dětí předškolního věku | Theses on a related topic

144.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic

145.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic

146.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Control Strategy Synthesis for Path Planning under Temporal Constraints | Theses on a related topic

147.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Methods in Optimal Discrete Path Planning with Uncertainty | Theses on a related topic

148.
Szewczyková, Sandra
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Vnímání koktavosti dítěte z pohledu rodiče | Theses on a related topic

149.
Szűcsová, Monika
Faculty: Faculty of Education
Year: 2021, studies completed, degree conferred: Ph.D.
Programme/field: Theory of Arts and Gallery Education / Theory of Arts and Gallery Education
Doctoral thesis defence: Softwarové umenie a galerijná prax | Theses on a related topic

150.
Šeděnka, Jaroslav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Huffmanovo kódování stavů v DiVinE | Theses on a related topic