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

formal specification, biological systems, systems biology, rule-based language

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
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 Display description

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

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

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

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

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

7.
Dluhoš, Petr
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Specification and monitoring of oscillation properties in dynamical systems | Theses on a related topic

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

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

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

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

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

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

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

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

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

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

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

19.
Opichalová, Markéta
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Input Manipulation Module for Biochemical Space Language | Theses on a related topic

20.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Škálovatelná syntéza parametrů pro hypotézy formulované v logice CTL | Theses on a related topic

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

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

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

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

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

26.
Šafránek, David
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Visual Coordination Networks | Theses on a related topic

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

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

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

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

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

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

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

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