Theses on a related topic (having the same keywords):
trace, filtering, linear temporal logic, bounded model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
2.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic
3.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic
4.
Bartoň, Marek
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Neuroscience (4-years) / Neuroscience
Doctoral thesis defence: Optimalizace metod zpracování fMRI dat pro zvýšení validity analýz konektivity | Theses on a related topic
Faculty: Faculty of Medicine
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Neuroscience (4-years) / Neuroscience
Doctoral thesis defence: Optimalizace metod zpracování fMRI dat pro zvýšení validity analýz konektivity | Theses on a related topic
5.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
6.
Berousek, Jan
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Abelovská tělesa | Theses on a related topic
Master's thesis defence: Abelovská tělesa | Theses on a related topic
Master's thesis defence: Abelovská tělesa | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Abelovská tělesa | Theses on a related topic
Master's thesis defence: Abelovská tělesa | Theses on a related topic
Master's thesis defence: Abelovská tělesa | Theses on a related topic
7.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Parameter Synthesis for Systems with Real Time | Theses on a related topic
8.
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
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
9.
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
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
10.
Bulková, Katarína
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Visualization of data.Brno datasets | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Visualization of data.Brno datasets | Theses on a related topic
11.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic
12.
Eliáš, Petr
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Similarity-Based Searching and Filtering in Motion Data | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Similarity-Based Searching and Filtering in Motion Data | Theses on a related topic
13.
Chrastina, Ondřej
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro sběr a zpracování velkých objemů monitorovacích dat ze sítě | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Systém pro sběr a zpracování velkých objemů monitorovacích dat ze sítě | Theses on a related topic
14.
Jankových, Adrián
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: AESA: indexovanie metrických priestorov | 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: AESA: indexovanie metrických priestorov | Theses on a related topic
15.
Knaur, Robin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: ManageIQ Expression Editor | 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: ManageIQ Expression Editor | Theses on a related topic
16.
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
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
17.
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
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
18.
Kvaššay, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Metrické skeče pro podobnostní vyhledávání | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Metrické skeče pro podobnostní vyhledávání | Theses on a related topic
19.
Lekešová, Eliška
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Kriminalistická trasologie | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Special Education of Security Sections
Bachelor's thesis defence: Kriminalistická trasologie | Theses on a related topic
20.
Mach, Jan
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Implementing Filtering Techniques in Learned Metric Index for Indexing Large Datasets | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Implementing Filtering Techniques in Learned Metric Index for Indexing Large Datasets | Theses on a related topic
21.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic
22.
Medková, Marta maiden name: Vaďurová
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Biologické stopy a jejich využití v kriminalistice | Theses on a related topic
Faculty: Faculty of Law
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Theory and Practice of Criminal Procedure
Bachelor's thesis defence: Biologické stopy a jejich využití v kriminalistice | Theses on a related topic
23.
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
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
24.
Pompa, Tomáš
Faculty: Faculty of Science
Year: 2024, studies under way
Programme/field: Applied Mathematics / Statistics and data analysis
Master's thesis defence: Metoda podpůrných vektorů pro funkcionální data | Theses on a related topic
Faculty: Faculty of Science
Year: 2024, studies under way
Programme/field: Applied Mathematics / Statistics and data analysis
Master's thesis defence: Metoda podpůrných vektorů pro funkcionální data | Theses on a related topic
25.
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
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
26.
Pupík, Petr
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Užití grupy tříd ideálů při řešení některých diofantických rovnic | Theses on a related topic
Faculty: Faculty of Science
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Upper Secondary School Teacher Training in Descriptive Geometry, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: Užití grupy tříd ideálů při řešení některých diofantických rovnic | Theses on a related topic
27.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic
28.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic
29.
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
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
30.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Refined Büchi automata for faster model checking | 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: Refined Büchi automata for faster model checking | Theses on a related topic
31.
Staňa, Tomáš
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Runtime Verification of Linear Temporal Specifications with Degradation | Theses on a related topic
32.
Strejček, Jan
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Expressiveness and Model Checking of Temporal Logics | Theses on a related topic
33.
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
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
34.
Šimša, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Monitorování chování systémů | Theses on a related topic
35.
Štětinová, Barbora
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Bezprostřední | Theses on a related topic
Faculty: Faculty of Education
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Visual Arts for Education
Bachelor's thesis defence: Bezprostřední | Theses on a related topic
36.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | 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: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic
37.
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
38.
Vaššová, Barbora
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Verifikace protokolu AMQP | Theses on a related topic