Cyanobacteria are appealing hosts for green chemical synthesis due to their use of light and
carbon dioxide. To optimize product yields and titers, specific and tunable regulation of the …

The world is facing several major challenges, particularly issues related to resource crisis
and environmental pollution. To address these challenges, in recent decades …

We present the second generation of a rule-based language called Biochemical Space
Language (BCSL) that combines the advantages of different approaches and thus makes an …

Multiset rewriting systems provide a formalism particularly suitable for the description of
biological systems. We present an extension of this formalism with additional controls on the …

Complex dynamics arising in biological systems can be characterised by various kinds of
attractors. To that end, the task of determining attractors becomes important in modern …

Abstract We introduce the Quantitative Biochemical Space Language, a rule-based
language for a compact modelling of probabilistic behaviour of complex parameter …

Formal analysis of non-linear continuous and hybrid systems is a hot topic. A common
approach builds on computing a suitable finite discrete abstraction of the continuous system …

This work deals with computer-aided annotation of entities in biochemical databases.
Annotation in systems biology means combining biochemical entities from computational …

Rád bych poděkoval vedoucímu práce doc. RNDr. Davidovi Šafrán kovi, Ph. D., za pomoc
při psaní práce, velmi ochotný přístup a věcné rady. Dále bych chtěl poděkovat RNDr. Matěji …

Modelling of epidemics is a well-studied area that requires the development of novel models
due to the high variability of the diseases. A fitting example is the outbreak of SARS-COV-2 …