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

kompozicionalni verifikace, modal transition systems, deterministicke specifikace, complexity, deterministic specifications, consistency, konzistence, zjemneni, compositional verification, modalni prechodove systemy, refinement, slozitost

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Disjunctive Modal Transition Systems | Theses on a related topic Display description

2.
Bednářová, Lenka
Faculty: Faculty of Economics and Administration
Year: 2017, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Master's thesis defence: Faktory ovlivňující dodržování daňových předpisů: Teoretické a experimentální přístupy | Theses on a related topic

3.
Boršková, Miroslava
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies
Master's thesis defence: Komparace politických východisek Margaret Thatcher a Václava Klause | Theses on a related topic

4.
Králíková, Kamila
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Philology / English Language and Literature
Bachelor's thesis defence: Basic Aspects of Terminology Management | Theses on a related topic

5.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Modal Transition Systems: Extensions and Analysis | Theses on a related topic

6.
Marčík, Michal
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

7.
Navrátilová, Lenka
Faculty: Faculty of Social Studies
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies and International Relations
Master's thesis defence: Problém konzistence ve vnějších aktivitách Evropské unie | Theses on a related topic

8.
Novotná Škarková, Jana
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algoritmus AKS | Theses on a related topic

9.
Novotný, Petr
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraické metody pro CSP | Theses on a related topic

10.
Pantůček, Tomáš
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

11.
Pipek, Vojtěch
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in English Language and Literature, Upper Secondary School Teacher Training in Special Education
Master's thesis defence: On Backchannels in English Conversation | Theses on a related topic

12.
Polášková, Ivana
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

13.
Sklenář, Jan
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

14.
Sukup, Karel
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

15.
Šafránek, Jakub
Faculty: Faculty of Economics and Administration
Year: 2007, studies completed, degree conferred: Ing.
Programme/field: Economy and Management / Business Management
Master's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

16.
Šula, Martin
Faculty: Faculty of Social Studies
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Organizační kultura a rozpory v jejím vnímání ve vybrané organizaci soukromého sektoru | Theses on a related topic

17.
Voráček, Vojtěch
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Teaching of Mathematics for Secondary Schools / Informatics for secondary school teachers, Teaching of Mathematics for Secondary Schools
Master's thesis defence: Aplikace interpretovatelných metod strojového učení v analýze matematických úloh | Theses on a related topic

18.
Abaffy, Matúš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Složitost řešení patrolovacích her na orientovaných grafech | Theses on a related topic

19.
Alán, Jan
Faculty: Faculty of Science
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Biochemistry / Biomolecular Chemistry
Master's thesis defence: Řešení 3D struktury proteinů na atomární rovni se zaměřením na lektiny a glykosyltransferasy | Theses on a related topic

20.
Almássy, Dávid
Faculty: Faculty of Social Studies
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: International Relations and Energy Security / International Relations and Energy Security
Master's thesis defence: Postoj Českej republiky k infraštruktúrnym projektom v plynovej oblasti Nord stream 1 a Nord stream 2 | Theses on a related topic

21.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

22.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

23.
Bukvová, Alena
Faculty: Faculty of Social Studies
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Firemní kultura a strategie výrobního podniku | Theses on a related topic

24.
Dudycha, Dominik
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Test proporcionality v judikatuře Ústavního soudu | Theses on a related topic

25.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic

26.
Fodor, Jakub
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: The Relevance of Stochastic Variables in Economics | Theses on a related topic

27.
Fouma, Matěj
Faculty: Faculty of Arts
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Analysing Czech redubs of Star Wars: Episode IV – A New Hope | Theses on a related topic

28.
Fronček, Peter
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Sociology / Sociology
Master's thesis defence: Utilizing the Complexity Paradigm in Sociology | Theses on a related topic

29.
Hrdlička, Martin
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic
Master's thesis defence: Designed to Adapt: Towards Resilient Teams and Ecosystems | Theses on a related topic

30.
Ibrahim, Rami
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature (Eng.)
Master's thesis defence: Logico-Structural Integration in American Presidential Speeches | Theses on a related topic

31.
Jonáš, Martin
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | Theses on a related topic

32.
Jurkovičová, Jitka
Faculty: Faculty of Social Studies
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Public Policy and Human Resources (combination/specialization: Personnel Management and Organizational Development)
Master's thesis defence: Organizační kultura úřadu práce po restrukturalizaci v roce 2011 | Theses on a related topic

33.
Kettner, Daniel
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Psychology / Psychology
Master's thesis defence: Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení | Theses on a related topic

34.
Klejchová, Vendula
Faculty: Faculty of Arts
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: English Language and Literature / English Language and Literature
Bachelor's thesis defence: Breaking the Mold: Queer Representation Revolution in Heartbreak High and Its Reboot | Theses on a related topic

35.
Kovářová, Marie
Faculty: Faculty of Social Studies
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Psychology (4-years) / General Psychology
Doctoral thesis defence: Komplexita a její vztah k duševním onemocněním | Theses on a related topic

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

37.
Lauko, Henrich
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Computing Technology and Methodology
Doctoral thesis defence: Abstraction via Program Transformation | Theses on a related topic

38.
Mertens, Otto
Faculty: Faculty of Social Studies
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / European Studies and International Relations
Master's thesis defence: Vnější vztahy a energetická politika EU | Theses on a related topic

39.
Morháčová, Veronika
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Social Work / Social Work Micro – Counselling
Master's thesis defence: Kritická sociálna práca a stratégie komplexného riešenia zložitých a neprehľadných sociálnych problémov | Theses on a related topic

40.
Motyčková, Julie
Faculty: Faculty of Economics and Administration
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Economy and Management / Management (combination/specialization: Management)
Bachelor's thesis defence: Konzistence hodnotového systému podniku ve vztahu k jeho konkurenceschopnosti | Theses on a related topic

41.
Nešpor, Zdeněk
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Information and Library Studies / Information and Library Studies
Bachelor's thesis defence: Informace, chaos a komplexita: Nové hranice informační vědy | Theses on a related topic

42.
Novotný, Petr
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Univerzální algebra a CSP | Theses on a related topic

43.
Pálmášiová, Kateřina
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Philosophy / Philosophy
Bachelor's thesis defence: Voltairovy slovníky | Theses on a related topic

44.
Pepuchová, Lucie
Faculty: Faculty of Arts
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: English-language Translation / English-language Translation
Master's thesis defence: Translation Consistency of Specific Terms and Vocabulary in the Assassin’s Creed Series | Theses on a related topic

45.
Staněk, Ondřej
Faculty: Faculty of Arts
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theory of Interactive Media / Culture Management, Theory of Interactive Media
Master's thesis defence: Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu | Theses on a related topic

46.
Stehlík, Ondřej
Faculty: Faculty of Sports Studies
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Management in Sport
Master's thesis defence: Finanční náročnost přípravy mladých hráčů ve sportovních hrách | Theses on a related topic

47.
Šalata, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Networks and Communication
Bachelor's thesis defence: Konfigurovatelná konzistence pro distribuované systémy | Theses on a related topic

48.
Šimková, Nikola maiden name: Betlachová
Faculty: Faculty of Arts
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Philology / Czech Language and Literature, English Language and Literature
Bachelor's thesis defence: Linguistic Relativity and Color Terminology with Focus on English

49.
Šurman, Samuel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Automation of ETL process and data visualization | Theses on a related topic

50.
Taufar, Patrik
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Political Science / Political Science
Doctoral thesis defence: "The Vienna doctrine" of Human Rights. In a Quest for Political Theory of Human Rights. | Theses on a related topic