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

coloured model checking, ctl, distribuovana pamat, systemova biologia, problem syntezy parametrov, distributed memory, parameter synthesis problem, systems biology, ode model, thomas network, farebne overovanie modelov

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Raček, Jakub
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Optimalizácia Rektangulárnej Abstrakcie v Nástroji Pithya | Theses on a related topic Display description

2.
Frák, Ivan
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Konverzia interakčných sietí na čiastočne špecifikované Booleovské siete v nástroji CaSQ | Theses on a related topic

3.
Mikuš, Milan
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Vývoj nástroje pro online administraci biochemického prostoru | Theses on a related topic

4.
Šalagovič, Jakub
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Computational analysis and model integration of biorhythmic systems | Theses on a related topic

5.
Tokarčík, Andrej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rewriting complex biological models in stochastic process algebras: a case study | Theses on a related topic

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

7.
Barnat, Jiří
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Parallel Breadth-First Search in LTL Model-Checking | Theses on a related topic

8.
Bartek, Filip
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Mechanistic Reconstruction of FGFR3 Signalling Pathways | Theses on a related topic

9.
Brozmann, Branislav
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Standardisation of Biochemical Space Language | Theses on a related topic

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

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

12.
Doktor, Radoslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Modul Analýzy Modelů pro Platformu CMP | Theses on a related topic

13.
Dražanová, Jana maiden name: Fabriková
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Construction of Algebraic Abstractions for Systems Biology | Theses on a related topic

14.
Fargaš, Oto
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: GUI pro zadávání hypotéz v hybridní logice | Theses on a related topic

15.
Hrdlička, Ondřej
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Library for Boolean function manipulation in Rust and Python | Theses on a related topic

16.
Huvar, Ondřej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Symbolic Model Checking of Hybrid CTL | Theses on a related topic

17.
Chudíček, Lukáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Symbolic representation of multi-valued logical models in Rust | Theses on a related topic

18.
Ivičič, Petr
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Frontend of the AEON Sketchbook application | Theses on a related topic

19.
Klement, Matej
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Applied Informatics / Applied Informatics
Advanced Master's thesis defence: Comprehensive Modeling Platform for Photosynthetic Organisms | Theses on a related topic

20.
Kolčák, Juraj
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Webové rozhraní pro pokročilou analýzu diskrétních modelů genových regulačních sítí | Theses on a related topic

21.
Krúželová, Daniela
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Vizualizácia stavového priestoru booleovskej siete | 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.
Losová, Barbora
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Mathematical Modelling and Numeric Methods
Master's thesis defence: Matematické modely systémové biologie | Theses on a related topic

24.
Lošťák, Ondřej
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Bioinformatics and systems biology
Master's thesis defence: Towards Practical Identification of Asynchronous Boolean Networks | Theses on a related topic

25.
Mačák, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: CTL Model Checking for Petri Nets and the Arithmetical Hierarchy | Theses on a related topic

26.
Mertová, Lukrécia
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Automatisation of biochemical space annotation | Theses on a related topic

27.
Mertová, Lukrécia
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Framework for Automatised Annotation of Biochemical Entities | Theses on a related topic

28.
Ondrejka, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Generalized asynchronous semantics for Boolean networks | Theses on a related topic

29.
Paľovčík, Patrik
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Návrh regulačných sietí z predchádzajúcich znalostí | Theses on a related topic

30.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Partial Order Reduction in Parallel Model Checking | Theses on a related topic

31.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Computer Systems and Technologies
Doctoral thesis defence: Model Checking Software | Theses on a related topic

32.
Ročkai, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Model Checking Software | Theses on a related topic

33.
Salykin, Anton
Faculty: Faculty of Medicine
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Medical Biology (4-years) / Medical Biology
Doctoral thesis defence: Metabolic analysis of human pluripotent stem cells | Theses on a related topic

34.
Stanko, Oto
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Improving Efficiency of Boolean Networks Inference | Theses on a related topic

35.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Estimace parametrů v diskrétních biologických modelech | Theses on a related topic

36.
Streck, Adam
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Efektivní identifikace parametrů genových regulačních sítí | Theses on a related topic

37.
Šimurka, Andrej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Inference of Boolean Networks | Theses on a related topic

38.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Formal Biochemical Space for Specification and Analysis of Biochemical Processes | Theses on a related topic

39.
Troják, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Rule-based Modelling of Biochemical Processes: Specification and Analysis | Theses on a related topic

40.
Urbanovský, Ondřej
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Comparative Analysis of Rule-Based Languages | Theses on a related topic

41.
Válent, Oskár Adam
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Rust library for SBML model manipulation | Theses on a related topic

42.
Vanický, Šimon
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic
Master's thesis defence: Verifikace CTL vlastností v nástroji DiVinE | Theses on a related topic

43.
Vejpustek, Tomáš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Visual Specification of Temporal Properties over Time Series | Theses on a related topic

44.
Zábojník, Matěj
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Online repository for exploring Boolean networks | Theses on a related topic