Theses on a related topic (having the same keywords):
linear temporal logic, stuttering, model checking, expressivenessKeywords ordered alphabetically | Keywords ordered by occurrence rate
151.
Š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
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
152.
Šerá, Alžběta
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Analýza obtížnosti komunikačních situací z pohledu balbutika | Theses on a related topic
Faculty: Faculty of Education
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Analýza obtížnosti komunikačních situací z pohledu balbutika | Theses on a related topic
153.
Ševčíková, Iveta
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Faktory determinující kvalitu života osob s koktavostí | Theses on a related topic
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Faktory determinující kvalitu života osob s koktavostí | Theses on a related topic
154.
Ševelová, Vladimíra
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Podpora dětí s dysfluencí v mateřské škole a rodině | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Podpora dětí s dysfluencí v mateřské škole a rodině | Theses on a related topic
155.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: DiVinE - Prostředí pro distribuovanou verifikaci | Theses on a related topic
156.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: External Memory LTL Model Checking | Theses on a related topic
157.
Šimeček, Pavel
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Efficient Computing Resources Usage in Model Checking | Theses on a related topic
158.
Šiška, Adam
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Interpretace DVE modelů v Haskellu | Theses on a related topic
159.
Školná, Andrea
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Sociální aspekty koktavosti z pohledu dítěte, dospělého a jejich okolí | Theses on a related topic
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Sociální aspekty koktavosti z pohledu dítěte, dospělého a jejich okolí | Theses on a related topic
160.
Škubalová, Barbora
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School English Language Teacher Training, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Informovanost vysokoškolských studentů o problematice balbuties | Theses on a related topic
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School English Language Teacher Training, Lower Secondary School Teacher Training in Special Education
Master's thesis defence: Informovanost vysokoškolských studentů o problematice balbuties | Theses on a related topic
161.
Šlapáková, Barbora Anna
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Estetika tance: Teorie a praxe | Theses on a related topic
Faculty: Faculty of Arts
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Aesthetics
Bachelor's thesis defence: Estetika tance: Teorie a praxe | Theses on a related topic
162.
Šmardová, Martina
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Přístup zaměstnanců call centra při telefonické komunikaci s osobami s balbuties | Theses on a related topic
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Přístup zaměstnanců call centra při telefonické komunikaci s osobami s balbuties | Theses on a related topic
163.
Šmérek, Martin
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Spravedlnost a ověřování vlastností protokolů pro vzájemné vyloučení | Theses on a related topic
164.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic
165.
Štefaňák, Filip
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Residue Component Synthesis for Handshake Composition | Theses on a related topic
166.
Štefková, Kristýna
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Analýza informovanosti středoškolských pedagogů o koktavosti a jejich přístupu k jedincům s balbuties ve vzdělávacím procesu | Theses on a related topic
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Analýza informovanosti středoškolských pedagogů o koktavosti a jejich přístupu k jedincům s balbuties ve vzdělávacím procesu | Theses on a related topic
167.
Štěpánová, Simona
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na rozvoj sociální fobie | Theses on a related topic
Faculty: Faculty of Education
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na rozvoj sociální fobie | Theses on a related topic
168.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: State space compression for the DiVinE model checker | Theses on a related topic
169.
Štill, Vladimír
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: LLVM Transformations for Model Checking | Theses on a related topic
170.
Štvánová, Denisa
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Analýza názorů intaktní společnosti na socializaci osob s balbuties | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: Analýza názorů intaktní společnosti na socializaci osob s balbuties | Theses on a related topic
171.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Porovnání nástrojů pro paralelní LTL model checking | Theses on a related topic
172.
Tomáštík, Marek
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verifikace MPI programů pomocí DIVINE | Theses on a related topic
173.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Artificial intelligence and data processing
Master's thesis defence: Formal Analysis of Rule-Based Models in Systems Biology | Theses on a related topic
174.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Paritní hry | Theses on a related topic
Master's thesis defence: Paritní hry | Theses on a related topic
175.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Verification of probabilistic systems against quantified linear properties | Theses on a related topic
176.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Quantitative Linear-Time Model Checking | Theses on a related topic
177.
Tumová, Radka
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Komunikační zátěž z hlediska balbutika | Theses on a related topic
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Komunikační zátěž z hlediska balbutika | Theses on a related topic
178.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic
179.
Unčovská, Tereza
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na volbu povolání | Theses on a related topic
Faculty: Faculty of Education
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Vliv koktavosti na volbu povolání | Theses on a related topic
180.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic
181.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
182.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic
183.
Veselá, Jana
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Analýza logopedické intervence u dětí s incipientní koktavostí | Theses on a related topic
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Analýza logopedické intervence u dětí s incipientní koktavostí | Theses on a related topic
184.
Vozárová, Viktória
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Craig's Interpolant in Model Checking Algorithms | Theses on a related topic
185.
Vymětalová, Lucie maiden name: Čechová
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Případové studie dětí školního věku s koktavostí | Theses on a related topic
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Případové studie dětí školního věku s koktavostí | Theses on a related topic
186.
Zich, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Grafická reprezentace formulí logiky HCTL | Theses on a related topic
187.
Žák, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Coloured Nested DFS | Theses on a related topic