Abstract Several studies in Bioinformatics, Computational Biology and Systems Biology rely
on the definition of physico-chemical or mathematical models of biological systems at …

Polyhydroxyalkanoates (PHAs) are the biopolymer of choice if we look for a substitute of
petroleum-based non-biodegradable plastics. Microbial production of PHAs as carbon …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Simulation is a powerful approach that plays a significant role in science and technology.
Computational models that simulate learner interactions and data hold great promise for …

Objective: Modern medicine needs to shift from a wait and react, curative discipline to a
preventative, interdisciplinary science aiming at providing personalized, systemic, and …

Analysing models of biological networks typically relies on workflows in which different
software tools with sensitive parameters are chained together, many times with additional …

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

Microbiomes interact dynamically with their environment to perform exploitable functions
such as production of valuable metabolites and degradation of toxic metabolites for a wide …

Motivation Model-based approaches to safety and efficacy assessment of pharmacological
drugs, treatment strategies or medical devices (In Silico Clinical Trial, ISCT) aim to decrease …