Dynamic modeling of biological systems is essential for understanding all properties of a
given organism as it allows us to look not only at the static picture of an organism but also at …

In systems biology, models play a crucial role in understanding studied systems. There are
many modelling approaches, among which rewriting systems provide a framework for …

In this paper, we present an encoding of the λ-calculus in a multiset rewriting system and
provide a few applications of the construction. For this purpose, we choose the calculus …

Abstract eBCSgen is a software tool for developing and analysing models written in
Biochemical Space Language (BCSL). BCSL is a rule-based language designed for the …

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 …

This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting
systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems …

In this paper, we develop computing machinery within the framework of the String Multiset
Rewriting calculus (SMSR), as defined by Barbuti et al., to solve the SAT problem in linear …

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

In this thesis we introduce a complete framework for modelling and verification of biological
systems in uncertain contexts based on the bond-calculus process algebra and the LBUC …

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