Práce na příbuzné téma (mají shodná klíčová slova):

formule, regular language, syntakticka pologrupa, linearni temporalni logika, syntactic semigroup, c-pseudovarieta homomorfismu, linear temporal logic, formula, c-variety of languages, regularni jazyk, c-varieta jazyku, c-pseudovariety of homomorphisms

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Dzúrik, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Homologická teorie grafů | Práce na příbuzné téma Zobrazit popisek

2.
Hahn, Viktor
Fakulta: Přírodovědecká fakulta
Rok: 2015, studium neúspěšně ukončeno
Program/obor Matematika / Algebra a diskrétní matematika, Geometrie
Obhajoba diplomové práce: Dobrá předuspořádání v teorii formálních jazyků | Práce na příbuzné téma

3.
Malá, Karolína
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Monoidy matic v algebraické teorii regulárních jazyků | Práce na příbuzné téma

4.
Pejznoch, Aleš
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma
Obhajoba diplomové práce: Syntéza parametrů pro sigmoidální kinetické modely | Práce na příbuzné téma

5.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Vliv specifikačních automatů na ověřování modelu | Práce na příbuzné téma

6.
Svoreňová, Mária
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Algebra a diskrétní matematika
Obhajoba diplomové práce: Hierarchie regulárních jazyků | Práce na příbuzné téma

7.
Tuček, Adam
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Grafická reprezentace specifikačních vzorů pro temporální logiky | Práce na příbuzné téma

8.
Volaříková, Jana roz. Bartoňová
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Obecná matematika
Obhajoba bakalářské práce: Po částech testovatelné jazyky | Práce na příbuzné téma

9.
Appl, Jiří
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Quantitative Probabilistic Verification in Distributed Environment | Práce na příbuzné téma

10.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Translation of Linear Temporal Logic to Omega-Automata | Práce na příbuzné téma

11.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Translation of LTL to omega-automata | Práce na příbuzné téma

12.
Bajužík, Branislav
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroj pro převod příkazů pro počítačové hry | Práce na příbuzné téma

13.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma

14.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Parameter Synthesis for Systems with Real Time | Práce na příbuzné téma

15.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Automata for Formal Methods: Little Steps Towards Perfection | Práce na příbuzné téma

16.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Linear Temporal Logic and omega-automata | Práce na příbuzné téma

17.
Brück, Roman
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Učitelství odborných předmětů pro střední školy - specializace strojírenství
Obhajoba diplomové práce: Metodika využití aplikované matematiky ve strojírenských předmětech | Práce na příbuzné téma

18.
Bukor, Oliver
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Fast Approximations of Quantifier Elimination for Q3B | Práce na příbuzné téma

19.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí | Práce na příbuzné téma

20.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Parallel Quantitative Analysis of Probabilistic Systems | Práce na příbuzné téma

21.
Dostál, Vítězslav
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Indexace matematických textů v digitální matematické knihovně | Práce na příbuzné téma

22.
Džmura, Martin
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informační systémy
Obhajoba diplomové práce: Knihovna pro animace v logice | Práce na příbuzné téma

23.
Chalupová, Markéta roz. Blechová
Fakulta: Pedagogická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství chemie pro základní školy
Obhajoba diplomové práce: Chemické názvosloví anorganických sloučenin | Práce na příbuzné téma

24.
Kováčik, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Simulation-based analysis of large-scale dynamical systems | Práce na příbuzné téma

25.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Paralelní verifikace LTL(F,G) vlastností | Práce na příbuzné téma

26.
Líška, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Vyhledávání v matematickém textu | Práce na příbuzné téma

27.
Líška, Martin
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Evaluation of Mathematics Retrieval | Práce na příbuzné téma

28.
Malata, Martin
Fakulta: Filozofická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Historické vědy / Pravěká archeologie Předního Východu
Obhajoba diplomové práce: Materiality of Urartian Stone Inscriptions and its Implications | Práce na příbuzné téma

29.
Mařica, Lukáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Grafické rozhraní nástroje pro řízení robotických systémů | Práce na příbuzné téma

30.
Mašková, Martina roz. Andryková
Fakulta: Filozofická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Historické vědy / Historie, Pomocné vědy historické
Obhajoba diplomové práce: K výrobě inkoustu a recepturám v českých zemích do 16. století | Práce na příbuzné téma

31.
Novotná Škarková, Jana
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Matematika - ekonomie
Obhajoba bakalářské práce: Hvězdná výše regulárních jazyků | Práce na příbuzné téma

32.
Pastirčák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Pokročilá internetová služba pro řešení rozhodnutelných problémů z oblasti regulárních jazyků | Práce na příbuzné téma

33.
Pekárek, Martin
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace distribuovaného algoritmu v prostředí DiVinE | Práce na příbuzné téma

34.
Pšorn Zákopčanová, Kristína
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: On Chaining Divine and Prism Model Checkers | Práce na příbuzné téma

35.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Počítačové systémy a technologie
Obhajoba disertační práce: Model Checking Software | Práce na příbuzné téma

36.
Ročkai, Petr
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Model Checking Software | Práce na příbuzné téma

37.
Rujbr, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Refined Büchi automata for faster model checking | Práce na příbuzné téma

38.
Smolová, Martina
Fakulta: Filozofická fakulta
Rok: 2018, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Historické vědy (čtyřleté) / Pomocné vědy historické
Obhajoba disertační práce: Arengy listin v českém státě do května 1283. Formule ve světle ars dictaminis | Práce na příbuzné téma
Obhajoba disertační práce: Arengy listin v českém státě do roku 1283 (Formule ve světle ars dictaminis) | Práce na příbuzné téma

39.
Staňa, Tomáš
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Runtime Verification of Linear Temporal Specifications with Degradation | Práce na příbuzné téma

40.
Strejček, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Expressiveness and Model Checking of Temporal Logics | Práce na příbuzné téma

41.
Svoreňová, Mária
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Control Strategy Synthesis for Path Planning under Temporal Constraints | Práce na příbuzné téma

42.
Sýkora, Viktor
Fakulta: Fakulta informatiky
Rok: 2009, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozhraní pro práci s konečnými automaty | Práce na příbuzné téma

43.
Sýkora, Viktor
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozhraní pro práci s konečnými automaty | Práce na příbuzné téma

44.
Šimša, Jiří
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Monitorování chování systémů | Práce na příbuzné téma

45.
Táborská, Kateřina
Fakulta: Filozofická fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Obecná teorie a dějiny umění a kultury / Estetika
Obhajoba bakalářské práce: Kýč jako imanentní součást brakové literatury? | Práce na příbuzné téma

46.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů | Práce na příbuzné téma

47.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Quantitative Linear-Time Model Checking | Práce na příbuzné téma

48.
Válek, Jan
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství fyziky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Možnosti využití Tabulkového procesoru v přírodovědné výuce | Práce na příbuzné téma

49.
Vaššová, Barbora
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové sítě a komunikace
Obhajoba bakalářské práce: Verifikace protokolu AMQP | Práce na příbuzné téma

50.
Vávrová, Pavlína
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Operace s regulárními jazyky pomocí rozpoznávání monoidy | Práce na příbuzné téma