Theses on a related topic (having the same keywords):
residue, synthesis, bisimulation, ccs, component system, model checking, komponenta, parallel composition, interface equation, bisimulaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Míznerová, Pavla
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Modální logika | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Modální logika | Theses on a related topic
2.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
3.
Řehák, Vojtěch
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: On Extensions of Process Rewrite Systems | Theses on a related topic
4.
Aksu Tvarůžková, Barbora maiden name: Tvarůžková
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXV. | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXV. | Theses on a related topic
5.
Appl, Jiří
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Quantitative Probabilistic Verification in Distributed Environment | Theses on a related topic
6.
Babiak, Michal
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Komplexy platiny s dusíkatými ligandy | Theses on a related topic
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Komplexy platiny s dusíkatými ligandy | 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.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Translation of LTL to omega-automata | Theses on a related topic
9.
Bajerová, Kristýna
Faculty: Faculty of Pharmacy
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXII. | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXII. | Theses on a related topic
10.
Baliak, Patrik
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Analytical Chemistry
Master's thesis defence: Nanočástice v molekulové spektroskopii | Theses on a related topic
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Analytical Chemistry
Master's thesis defence: Nanočástice v molekulové spektroskopii | Theses on a related topic
11.
Bartoňová, Karolina
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Filozofická inspirace Bohumila Kubišty. Vlivy L.N.Tolstého a Arthura Schopenhauera | Theses on a related topic
Faculty: Faculty of Arts
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Combined Art Studies
Bachelor's thesis defence: Filozofická inspirace Bohumila Kubišty. Vlivy L.N.Tolstého a Arthura Schopenhauera | Theses on a related topic
12.
Bártová, Nela
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Natural Science for Education, Physical Education and Sport
Bachelor's thesis defence: Porovnání somatotypů hráčů softbalu a fotbalu | Theses on a related topic
Faculty: Faculty of Sports Studies
Year: 2024, studies under way
Programme/field: Physical Education and Sport / Natural Science for Education, Physical Education and Sport
Bachelor's thesis defence: Porovnání somatotypů hráčů softbalu a fotbalu | Theses on a related topic
13.
Batková, Karolína
Faculty: Faculty of Pharmacy
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXI. | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza látek s potenciálním antimikrobiálním účinkem XXI. | Theses on a related topic
14.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Automating Software Development with Explicit Model Checking | Theses on a related topic
15.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
16.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Ověřování interaktivních vlastností komponentových systémů | Theses on a related topic
17.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Component Interaction in Component-Based Systems | Theses on a related topic
18.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
Faculty: Faculty of Informatics
Year: 2005, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Modelování pro verifikační nástroj DiVinE
19.
Bezděk, Peter
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: LTL atraktory | Theses on a related topic
20.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Automata for Formal Methods: Little Steps Towards Perfection | Theses on a related topic
21.
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
22.
Blatná, Karolína
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Syntéza a charakterizace bimetalických nanočástic pro studium fosforylovaných biomolekul metodou povrchem zesílené Ramanovy spektrometrie | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Biochemistry / Biochemistry
Bachelor's thesis defence: Syntéza a charakterizace bimetalických nanočástic pro studium fosforylovaných biomolekul metodou povrchem zesílené Ramanovy spektrometrie | Theses on a related topic
23.
Boldareva, Daria
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Syntéza nanočástic oxidů kovů s termoelektrickými vlastnostmi | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Syntéza nanočástic oxidů kovů s termoelektrickými vlastnostmi | Theses on a related topic
24.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic
25.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Basic Model Checking Problems for Stochastic Games | Theses on a related topic
26.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Basic model-checking problems for stochastic games | 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: Basic model-checking problems for stochastic games | Theses on a related topic
27.
Bugárová, Renáta
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Chemistry, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Syntéza témat vybraných předmětů na ZŠ ve vztahu k učivu chemie 9. ročníku | Theses on a related topic
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Chemistry, Lower Secondary School Teacher Training in Natural Science
Bachelor's thesis defence: Syntéza témat vybraných předmětů na ZŠ ve vztahu k učivu chemie 9. ročníku | Theses on a related topic
28.
Burda, Daniel
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Physics / Nanotechnology - Applied Physics
Bachelor's thesis defence: Růst grafénu pomocí chemické depozice z plynné fáze za atmosférického tlaku | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Physics / Nanotechnology - Applied Physics
Bachelor's thesis defence: Růst grafénu pomocí chemické depozice z plynné fáze za atmosférického tlaku | Theses on a related topic
29.
Burget, Rostislav
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
Bachelor's thesis defence: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Theses on a related topic
30.
Bušová, Jitka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Studium nehydrolytických metod přípravy sloučenin s vazebným motivem Al-O-B | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Studium nehydrolytických metod přípravy sloučenin s vazebným motivem Al-O-B | Theses on a related topic
31.
Čermák, Jiří
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Porovnání modelovacích schopností verifikačních nástrojů | Theses on a related topic
32.
Černová, Lenka
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
33.
Černová, Lenka
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
Faculty: Faculty of Science
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Chemistry / Organic Chemistry
Master's thesis defence: Syntéza nových karbocyklických nukleosidových analogů | Theses on a related topic
34.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Rozšíření a refaktorizace nástroje BioDiVinE | Theses on a related topic
35.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Based Parameter Synthesis of Dynamical Systems in Biology | Theses on a related topic
36.
Demko, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Computer Systems
Advanced Master's thesis defence: Parameter Synthesis of Dynamical Systems via Model Checking | Theses on a related topic
37.
Drajsajtlová, Kateřina
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Světelný klavír v uměleckém díle Alexandera Nikolajeviče Skrjabina a Zdeňka Pešánka | Theses on a related topic
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: General Theory and History of Arts and Culture / Theory of Interactive Media
Bachelor's thesis defence: Světelný klavír v uměleckém díle Alexandera Nikolajeviče Skrjabina a Zdeňka Pešánka | Theses on a related topic
38.
Finkous, Daniel
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium sloučenin s antidysrytmickým účinkem. | Theses on a related topic
Faculty: Faculty of Pharmacy
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Pharmacy / Pharmacy
Master's thesis defence: Syntéza a studium sloučenin s antidysrytmickým účinkem. | Theses on a related topic
39.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Theses on a related topic
40.
Frnoch, Vojtěch
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Grafické rozhraní pro simulátor C++ programů | Theses on a related topic
41.
Godovský, Alexander
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Stavební bloky pro syntézu produktů oxidace bilirubinu | Theses on a related topic
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry
Bachelor's thesis defence: Stavební bloky pro syntézu produktů oxidace bilirubinu | Theses on a related topic
42.
Gratias, Martin
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Historie vitamínů | Theses on a related topic
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School Teacher Training in Chemistry
Master's thesis defence: Historie vitamínů | Theses on a related topic
43.
Hajnal, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Bioinformatics
Advanced Master's thesis defence: Formal Methods for Model Selection in Systems Biology | Theses on a related topic
44.
Haran, Himanshu Kumar
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security (eng.)
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
Master's thesis defence: Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries | Theses on a related topic
45.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Relaxed Memory Models in DiVinE | Theses on a related topic
46.
Havel, Vojtěch
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Generic Platform for Explicit-Symbolic Verification | Theses on a related topic
47.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Grafický webový editor LTS a nástroj pro počítání bisimulace | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Grafický webový editor LTS a nástroj pro počítání bisimulace | Theses on a related topic
48.
Havlíček, Jan
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Untimed LTL Model Checking of Timed Automata | Theses on a related topic
49.
Hebelka, Tomáš
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webový generátor Tabel pro normované BPA | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Webový generátor Tabel pro normované BPA | Theses on a related topic
50.
Hnilica, Jaroslav
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Physics (4-years) / Plasma Physics
Doctoral thesis defence: Time resolved diagnostics of microwave pulsed plasma | Theses on a related topic
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Ph.D.
Programme/field: Physics (4-years) / Plasma Physics
Doctoral thesis defence: Time resolved diagnostics of microwave pulsed plasma | Theses on a related topic