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.