Theses on a related topic (having the same keywords):
tela, omega-automata, tgba, automata reduction, spot, scc-based simplificationsKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky | Theses on a related topic
2.
Dokoupil, David
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simple Complementation of Generalized Büchi Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simple Complementation of Generalized Büchi Automata | Theses on a related topic
3.
Jánošová, Miriama
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Reduction of Omega-Automata Using k-Lookahead Simulations | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Reduction of Omega-Automata Using k-Lookahead Simulations | Theses on a related topic
4.
Schwarzová, Tereza
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: QBF-Based Simplification of Acceptance Condition of Emerson-Lei Automata | Theses on a related topic
5.
Smolka, Dávid
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulation-Based Reduction of Modal Omega-Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Simulation-Based Reduction of Modal Omega-Automata | Theses on a related topic
6.
Zbončáková, Tatiana
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Redukcie TGBA pomocou pokročilých simulácií | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Redukcie TGBA pomocou pokročilých simulácií | Theses on a related topic
7.
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
8.
Benada, Luděk
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Finance and Accounting (4-years) / Finance
Doctoral thesis defence: Hedging energetických komodit prostřednictvím vybraných derivátových nástrojů | Theses on a related topic
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Finance and Accounting (4-years) / Finance
Doctoral thesis defence: Hedging energetických komodit prostřednictvím vybraných derivátových nástrojů | Theses on a related topic
9.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Translation of an LTL fragment to deterministic Rabin and Streett automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Translation of an LTL fragment to deterministic Rabin and Streett automata | Theses on a related topic
10.
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
11.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Complementation of Semi-Deterministic Transition-Based Generalized Büchi Automata | Theses on a related topic
12.
Hesko, Branislav
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma Physics
Master's thesis defence: Analýza a zpracování obrazových dat pro účely diagnostiky plazmatu | Theses on a related topic
Faculty: Faculty of Science
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physics / Plasma Physics
Master's thesis defence: Analýza a zpracování obrazových dat pro účely diagnostiky plazmatu | Theses on a related topic
13.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic
14.
Krontorád, Petr
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Analýza obrazových dat získaných Microarrays skenerem
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Analýza obrazových dat získaných Microarrays skenerem
15.
Krontorád, Petr
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Microarrays image processing | 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: Microarrays image processing | Theses on a related topic
16.
Major, Juraj
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou | Theses on a related topic
17.
Navrátilová, Alena
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Těla / Bodies | Theses on a related topic
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Arts for Education, Special Education for Education
Bachelor's thesis defence: Těla / Bodies | Theses on a related topic
18.
Onderková, Kristýna
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Theses on a related topic
19.
Onderková, Kristýna
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Theses on a related topic
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature
Master's thesis defence: Possessive Pronouns in English and Czech Works of Fiction, Their Use with Parts of Human Body and Translation | Theses on a related topic
20.
Petrová, Lenka
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Stereotypizace ženy v televizní reklamě: komparace české a portugalské reklamní produkce (Tv Nova, TVI) | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Media and Communication Studies / Media Studies and Journalism
Master's thesis defence: Stereotypizace ženy v televizní reklamě: komparace české a portugalské reklamní produkce (Tv Nova, TVI) | Theses on a related topic
21.
Prochová, Barbora
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature / Czech Language and Literature, Study of Religions
Bachelor's thesis defence: Vztah matky a dcery v současné literatuře psané ženami | Theses on a related topic
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Czech Language and Literature / Czech Language and Literature, Study of Religions
Bachelor's thesis defence: Vztah matky a dcery v současné literatuře psané ženami | Theses on a related topic
22.
Szynder, Krystian
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Polish Language and Literature, Slovenian Language and Literature
Bachelor's thesis defence: Reklama jako zjawisko językowe (na przykładzie polskich spotów reklamowych) | Theses on a related topic
Faculty: Faculty of Arts
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Philology / Polish Language and Literature, Slovenian Language and Literature
Bachelor's thesis defence: Reklama jako zjawisko językowe (na przykładzie polskich spotów reklamowych) | Theses on a related topic
23.
Vážanský, Filip
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Social Policy and Social Work
Bachelor's thesis defence: Self promotion-specifika žánru vzhledem k užití v českých médiích (ČT, Prima, Nova) | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Media and Communication Studies / Media Studies and Journalism, Social Policy and Social Work
Bachelor's thesis defence: Self promotion-specifika žánru vzhledem k užití v českých médiích (ČT, Prima, Nova) | Theses on a related topic
24.
Znamenáček, Petr
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Praktická střelba | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Applied Sport Education of Security Bodies
Master's thesis defence: Praktická střelba | Theses on a related topic