P systems with proteins on membranes and membrane division

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4036 LNCS, Issue , 2006, Pages 292-303

  Pǎun, Andrei ^a   Popa, Bianca ^a  

^a Louisiana Tech University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; LINEAR SYSTEMS; PROTEINS;

BOOLEAN VARIABLES; CONJUNCTIVE NORMAL FORM; NP-COMPLETE SAT PROBLEM;

PROBLEM SOLVING;

EID: 33746254866     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. A. Alhazov: Solving SAT by symport/antiport P systems with memebrane division. In Cellular Computing. Complexity Aspects (M.A. Gutierrez-Naranjo, Gh. Pǎun, M.J. Perez-Jimenez, eds.), Fenix Editora, Sevilla, 2005, 1-6.
2. A. Alhazov, M. Margenstern, V. Rogozhin, Y. Rogozhin, S. Verlan: Communicative P systems with minimal cooperation. In Membrane Computing. 5th International Workshop, WMC2004, Milan, Italy, June 2004. Revised Selected and Invited Papers (G. Mauri, Gh. Pǎun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.), LNCS 3365, Springer-Verlag, Berlin, 2005, 161-177.
3. N. Busi: On the computational power of the mate/bud/drip brane calculus: interleaving vs, maximal parallelism. In Pre-Proceedings of Sixth Workshop on Membrane Computing, WMC6, Vienna, July 2005, 235-252.
4. L. Cardelli: Brane calculi - interactions of biological membranes. In Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, 3082, Springer-Verlag, Berlin, 2005, 257-280.
5. O.H. Ibarra, A. Pǎun: Counting time in computing with cells. In Proceedings of DNA Based Computing, DNA11, London, Ontario, 2005, 25-36.
6. A. Leporati, C. Zandron: A family of P systems which solve 3-SAT. In Cellular Computing. Complexity Aspects (M.A. Gutierrez-Naranjo, Gh. Pǎun, M.J. Perez-Jimenez, eds.), Fenix Editora, Sevilla, 2005, 247-256.
7. M.L. Minsky: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey, 1967.
8. A. Pǎun, Gh. Pǎun: The power of communication: P systems with symport/antiport. New Generation Computing, 20, 3 (2002), 295-306.
9. A. Pǎun, B. Popa: P systems with proteins on membranes. Fundamenta Informaticae accepted 2006.
10. Gh. Pǎun: Membrane Computing - An Introduction. Springer-Verlag, Berlin, 2002.
11. G. Rozenberg, A. Salomaa, eds.: Handbook of Formal Languages. Springer-Verlag, Berlin, 1987.
12. The P Systems Website: http://psystems.disco.unimib.it.