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

modal transition systems, specification, consistency, formal methods, generalized model checking, refinement

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Křetínský, Jan
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Modální přechodové systémy | Theses on a related topic Display description

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

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

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

5.
Báča, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Projekt portálu elektronického sportu | Theses on a related topic

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

7.
Bouda, Ondřej
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Refactoring of Sequence Chart Studio | Theses on a related topic

8.
Budáč, Jozef
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace monitorovacího nástroje | Theses on a related topic

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

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

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

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

13.
Hegyiová, Kateřina
Faculty: Faculty of Science
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / English Language and Literature, Upper Secondary School Teacher Training in Mathematics
Master's thesis defence: The Position of Adverbials in Functional Sentence Perspective. A Comparative Study of English and Czech.

14.
Hlavačková, Petra
Faculty: Faculty of Law
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / Social Security Law
Bachelor's thesis defence: Práva a povinnosti účastníků pracovněprávních vztahů | Theses on a related topic

15.
Holý, Tomáš
Faculty: Faculty of Sports Studies
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Physical Education and Sport / Physical Education and Sport (combination/specialization: Coaching)
Bachelor's thesis defence: Fungování a možnosti rozvoje KRNAP | Theses on a related topic

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

17.
Jasná, Michaela
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Legal Specializations / International Commercial Law Studies
Bachelor's thesis defence: Specifikace zboží v režimu Úmluvy OSN o smlouvách o mezinárodní koupi zboží | Theses on a related topic

18.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic

19.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

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

21.
Kružíková, Agáta
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Social Informatics
Bachelor's thesis defence: Uživatelské rozhraní aplikace pro šifrování disku | Theses on a related topic

22.
Kulíšek, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Formal representation of graphical models of biological systems | Theses on a related topic

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

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

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

26.
Myslivec, David
Faculty: Faculty of Law
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní aspekty interoperability software | Theses on a related topic

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

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

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

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

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

32.
Pozdílková, Hana
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Specification and Generalization in Student Translations | Theses on a related topic

33.
Riedlová, Veronika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Translation and Interpreting / English-language Translation
Master's thesis defence: Shifts in Translation(a study based on Czech translations of National Geographic articles) | Theses on a related topic

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

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

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

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

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

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

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

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

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

43.
Trávníček, Zdeněk
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Problémy dialetheismu | Theses on a related topic

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

45.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: An Executable Formal Semantics of C++ | Theses on a related topic

46.
Vašáková, Dana
Faculty: Faculty of Education
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Teorie překladu | Theses on a related topic

47.
Veselková, Marta maiden name: Kaplánková
Faculty: Faculty of Education
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Health Education, Lower Secondary School Teacher Training in Chemistry
Bachelor's thesis defence: Výuka chemie a příbuzných předmětů na středních školách a odborných učilištích. | Theses on a related topic

48.
Zatrochová, Zuzana
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Analysis and testing of distributed NoSQL datastore Riak | Theses on a related topic

49.
Zmrzlá, Petra
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Ph.D.
Programme/field: Philology (4-years) / English Linguistics
Doctoral thesis defence: Co-referential Cohesive Chains in Research Articles | Theses on a related topic