Journal of Computer and System Sciences
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Probabilistic model checking in practice: case studies with PRISM
ACM SIGMETRICS Performance Evaluation Review
Theoretical Computer Science
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
Structure and parameter estimation for cell systems biology models
Proceedings of the 10th annual conference on Genetic and evolutionary computation
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
A photosynthetic process modelled by a metabolic P system
Natural Computing: an international journal
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Discrete simulations of biochemical dynamics
DNA13'07 Proceedings of the 13th international conference on DNA computing
Towards probabilistic model checking on p systems using PRISM
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
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
An outline of MP modeling framework
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Modeling membrane systems using colored stochastic Petri nets
Natural Computing: an international journal
Hi-index | 0.00 |
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates their use through two case studies.