Decision problems in membrane systems with peripheral proteins, transport and evolution

Theoretical Computer Science

Volumn 404, Issue 1-2, 2008, Pages 40-51

  Cavaliere, Matteo ^a   Sedwards, Sean ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Membrane systems; Peripheral proteins; Systems biology

Indexed keywords

CHEMICAL REACTIONS; GRAFTING (CHEMICAL); LAWS AND LEGISLATION; PROTEINS; SYNTHESIS (CHEMICAL);

BIOLOGICAL PROCESSING; COMPLEMENTARY PROTEINS; COOPERATIVE EVOLUTION; DECISION PROBLEMS; FLOATING OBJECTS; MEMBRANE SYSTEMS; MODEL BASED; PARALLEL EVOLUTION; PERIPHERAL PROTEINS; QUALITATIVE PROPERTIES; REACH ABILITY; SYSTEMS BIOLOGY;

BIOLOGICAL MEMBRANES;

EID: 49249132712     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.003     Document Type: Article

References (21)

1. Alberts B. Essential Cell Biology. An Introduction to the Molecular Biology of the Cell (1998), Garland Publ. Inc, New York, London
2. Brijder R., Cavaliere M., Riscos-Núñez A., Rozenberg G., and Sburlan D. Membrane Systems with Marked Membranes. Electronic Notes in Theoretical Computer Science, ENTCS vol. 171 (2007) 25-36
3. Cardelli L., and Calculi B. Interactions of biological membranes. In: Danos V., and Schächter V. (Eds). Proceedings Computational Methods in Systems Biology 2004. Lecture Notes in Computer Science vol. 3082 (2005), Springer-Verlag, Berlin
4. Cardelli L., and Pǎun Gh. An universality result for a (mem)brane calculus based on mate/drip operations. In: Gutiérrez-Naranjo M.A., Pǎun Gh., and Pérez-Jiménez M.J. (Eds). Proceedings of the ESF Exploratory Workshop on Cellular Computing (Complexity Aspects). Fénix Ed., Seville, Spain. International Journal of Foundations of Computer Science 17 (2006) 49-68
5. Cavaliere M. Evolution-communication p systems. In: Pǎun Gh., Rozenberg G., Salomaa A., and Zandron C. (Eds). Proceedings International Workshop Membrane Computing. Lecture Notes in Computer Science vol. 2597 (2003), Springer-Verlag, Berlin
6. Cavaliere M., and Sedwards S. Membrane systems with peripheral proteins: Transport and evolution. Proceedings MecBIC06. Electronic Notes in Theoretical Computer Science vol. 171 (2007) 37-53
7. Cavaliere M., and Sedwards S. Modelling cellular processes using membrane systems with peripheral and integral proteins. Proceedings International Conference on Computational Methods in Systems Biology, CMSB06. Lecture Notes in Bioinformatics vol. 4210 (2006), Springer
8. In: Ciobanu G., Pǎun Gh., and Pérez-Jiménez M.J. (Eds). Applications of Membrane Computing (2006), Springer-Verlag, Berlin
9. Danos V., and Pradalier S. Projective brane calculus. In: Danos V., and Schächter V. (Eds). Proceedings Computational Methods in System Biology 2004. Lecture Notes in Computer Science vol. 3082 (2005), Springer-Verlag, Berlin
10. Dassow J., and Pǎun Gh. Regulated Rewriting in Formal Language Theory (1989), Springer-Verlag, Berlin
11. Hauschildt D., and Jantzen M. Petri net algorithms in the theory of matrix grammars. Acta Informatica 31 (1994) 719-728
12. Hopcroft J.E., and Ullman J.D. Introduction to Automata Theory, Languages, and Computation (1979), Addison-Wesley
13. Krishna S.N. Universality results for P systems based on brane calculi operations. Theoretical Computer Science 371 1-2 (2007) 83-105
14. Pǎun A., and Popa B. P systems with proteins on membranes and membrane division. Proc. 10th DLT Conf., Santa Barbara, USA, 2006. LNCS vol. 4036 (2006), Springer, Berlin 292-303
15. Pǎun Gh. Computing with membranes. Journal of Computer and System Sciences 61 1 (2000) 108-143 First circulated as TUCS Research Report No 28, 1998
16. Pǎun Gh. Membrane Computing - An Introduction (2002), Springer-Verlag, Berlin
17. Pǎun Gh., and Rozenberg G. A guide to membrane computing. Theoretical Computer Science 287 1 (2002)
18. In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages (1997), Springer-Verlag, Berlin
19. Salomaa A. Formal Languages (1973), Academic Press, New York
20. http://psystems.disco.unimib.it
21. http://www.msr-unitn.unitn.it/downloads.php