######################
Related Publications
######################

  1. **Modular Assembly of Cell Systems Biology Models Using P Systems**. Francisco Jose Romero-Campero, Jamie Twycross, Miguel Camara, Malcolm Bennett, Marian Gheorghe and Natalio Krasnogor. International Journal of Foundations of Computer Science, 20(3):427-442, 2009.

  2. **Evolving Cell Models for Systems and Synthetic Biology**. H. Cao, F.J. Romero-Campero, S. Heeb, M. Camara, and N. Krasnogor. Systems and Synthetic Biology, 4(1):55-84, Springer, 2010.

  3. **An Executable Biology Methodology for Systems and Synthetic Biology**. Jonathan Blakes, Natalio Krasnogor, Francisco Jose Romero-Campero and Jamie Twycross. Proc. of the ECCB Satellite Meeting on Probabilistic Modelling in Computational Biology, Cagliari, Sardinia, September 2008.

  4. **Modular Assembly of Cell Systems Biology Models Using P Systems**. Francisco Jose Romero-Campero, Jamie Twycross, Malcolm Bennett, Miguel Camara and Natalio Krasnogor. Proc. of the Prague International Workshop on Membrane Computing, Prague, June 2008.

  5. **Structure and Parameter Estimation for Cell Systems Biology Models**. F. Romero-Campero, H.Cao, M. Camara, and N. Krasnogor. In Maarten Keijzer et.al, editor, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2008), pp. 331-338, ACM, 2008. This paper won the Best Paper award at the Bioinformatics track.

  6. **P System Model Optimisation by Means of Evolutionary Based Search Algorithms**. Carlos Garcia, Claudio Lima, Jamie Twycross, Natalio Krasnogor and Manuel Lozano. Proc. of the Genetic and Evolutionary Computation Conference, pp. 187-194, 2010.

  7. **An Approach to the Engineering of Cellular Models Based on P Systems**. F.J. Romero-Campero and N. Krasnogor. In Proceedings of Computation In Europe (CIE 2009), volume 5635/2009 of Lecture Notes in Computer Science, pages 430-436, 2009.

  8. **Stochastic and Deterministic Multiscale Models for Systems Biology: an Auxin-Transport Case Study**. Jamie Twycross, Leah R. Band, Malcolm J. Bennett, John R. King and Natalio Krasnogor. BMC Systems Biology, 4(1):1-34, 2010. 

  9. **Probabilistic Model Checking in Practice: Case Studies with PRISM**. M. Kwiatkowska, G. Norman, D. Parker. ACM SIGMETRICS Performance Evaluation Review, 32, 4, 16–21, 2005.

  10. **A Markov Chain Model Checker**. H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2000), volume 1785 of LNCS, 2000.