BIOCHAM (the BIOCHemical Abstract Machine) is a software environment for modeling
biochemical systems. It is based on two aspects: (1) the analysis and simulation of boolean, …

Abstract Systems biology has experienced dramatic growth in the number, size, and
complexity of computational models. To reproduce simulation results and reuse models, …

Recent progress in high-throughput data-production technologies pushes research toward
systems biology, focusing on the global interaction between the components of biomolecular …

Motivation: Robustness is the capacity of a system to maintain a function in the face of
perturbations. It is essential for the correct functioning of natural and engineered biological systems…

We need to effectively combine the knowledge from surging literature with complex datasets
to propose mechanistic models of SARS‐CoV‐2 infection, improving data interpretation and …

One central issue in systems biology is the definition of formal languages for describing
complex biochemical systems and their behavior at different levels. The biochemical abstract …

Abstract interpretation is a theory of abstraction that has been introduced for the analysis of
programs. In particular, it has proved useful for organizing the multiple semantics of a given …

Motivation Molecular interaction maps have emerged as a meaningful way of representing
biological mechanisms in a comprehensive and systematic manner. However, their static …

Finding mathematical models satisfying a specification built from the formalization of biological
experiments, is a common task of the modeller that techniques like model-checking help …

In this paper we give a logical semantics for the class CC of concurrent constraint programming
languages and for its extension LCC based on linear constraint systems. Besides the …