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

tela, omega-automata, telatko, acceptance marks reduction, qbf

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Šťastná, Tereza
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Zjednodušování akceptační podmínky u Emerson-Lei automatů | Theses on a related topic Display description

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

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

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

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

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

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

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

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

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

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

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

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