KRASNOGOR , Natalio

Living cells assembled into colonies or tissues communicate using complex systems. These systems consist in the interaction between many molecular species distributed over many compartments. Among the different cellular processes used by cells to monitor their environment and respond accordingly, gene regulatory networks, rather than individual...

No description

As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates is di cult. In this paper we show how conventional veri cation tools can be used to verify unconventional programs implementing...

The Infobiotics Workbench is an integrated software suite incorporating model specification, simulation, parameter optimization and model checking for Systems and Synthetic Biology. A modular model specification allows for straightforward creation of large-scale models containing many compartments and reactions. Models are simulated either...

In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconventional computational paradigm that abstracts from the structure and functioning of the living cell. The process of designing models, consisting of both the optimisation of...

Cellular systems present a highly complex organization at different scales including the molecular, cellular and colony levels. The complexity at each one of these levels is tightly interrelated. Integrative systems biology aims to obtain a deeper understanding of cellular systems by focusing on the systemic and systematic integration of the...

In this paper we propose an extension of the modelling framework based on P systems which explicitly includes modularity. Modularisation in cellular systems can be produced by chemical specificity and spatial localisation in different compartments. Both these features can be easily specified and analysed in P systems using sets of rewriting...

This paper proposes a new methodology for the automated design of cell models for systems and synthetic biology. Our modelling framework is based on P systems, a discrete, stochastic and modular formal modelling language. The automated design of biological models comprising the optimization of the model structure and its stochastic kinetic...

Pseudomonas aeruginosa is an opportunistic bacterium that exploits quorum sensing communication to synchronize individuals in a colony and this leads to an increase in the effectiveness of its virulence. In this paper we derived a mechanistic P systems model to describe the behavior of a single bacterium and we discuss a possible approach,...

In this paper we propose a new bottom-up approach to cellular computing, in which computational chemical processes are encapsulated within liposomes. This "liposome logic" approach (also called vesicle computing) makes use of supra-molecular chemistry constructs, e.g. protocells, chells, etc. as minimal cellular platforms to which logical...

Motivation: The prediction of a protein's contact map has become in recent years, a crucial stepping stone for the prediction of the com-plete 3D structure of a protein. In this article, we describe a method-ology for this problem that was shown to be successful in CASP8 and CASP9. The methodology is based on (i) the fusion of the prediction of...

We introduce a variant of P systems where rules have associated a real number providing a measure for the "intrinsic reactivity"of the rule and roughly corresponding to the kinetic coefficient which, in bio-chemistry, is usually associated to each molecular reaction. The behaviour of these P systems is then defined according to a strategy...

A framework that describes the evolution of P systems with bounded parallelism is de ned by introducing basic formal features that can be then integrated into a structural operational semantics. This approach investigates a generic strategy of selecting membranes and rules and applying the rules. P systems with boundary rules are used to...

This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important features, simulation, model checking and optimisation. Its capability for building, analysing and optimising large spatially...