Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theoretical Computer Science
Structure and parameter estimation for cell systems biology models
Proceedings of the 10th annual conference on Genetic and evolutionary computation
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Modeling signal transduction using p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
Simulation of Spatial P system models
Theoretical Computer Science
| Hi-index | 0.00 |
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 genes, are responsible for the information processing and orchestration of the appropriate response [16]. In this respect, synthetic biology has emerged recently as a novel discipline aiming at unravelling the design principles in gene regulatory systems by synthetically engineering transcriptional networks which perform a specific and prefixed task [2]. Formal modelling and analysis are key methodologies used in the field to engineer, assess and compare different genetic designs or devices.