Brane Calculi

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25974-9_24 ◽

2005 ◽

pp. 257-278 ◽

Cited By ~ 144

Author(s):

Luca Cardelli

Keyword(s):

Brane Calculi

Simulation of a bounded symport/antiport P system with Brane calculi

Biosystems ◽

10.1016/j.biosystems.2007.01.008 ◽

2008 ◽

Vol 91 (3) ◽

pp. 558-571 ◽

Cited By ~ 8

Author(s):

Antonio Vitale ◽

Giancarlo Mauri ◽

Claudio Zandron

Keyword(s):

P System ◽

Brane Calculi

On the Computational Power of Brane Calculi

Transactions on Computational Systems Biology VI - Lecture Notes in Computer Science ◽

10.1007/11880646_2 ◽

2006 ◽

pp. 16-43 ◽

Cited By ~ 21

Author(s):

Nadia Busi ◽

Roberto Gorrieri

Keyword(s):

Computational Power ◽

Brane Calculi

Control Flow Analysis for Brane Calculi

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.12.104 ◽

2009 ◽

Vol 227 ◽

pp. 59-75

Author(s):

Chiara Bodei ◽

Andrea Bracciali ◽

Davide Chiarugi

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Brane Calculi ◽

Control Flow Analysis

Membrane Computing and Brane Calculi (Some Personal Notes)

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.05.003 ◽

2007 ◽

Vol 171 (2) ◽

pp. 3-10 ◽

Cited By ~ 2

Author(s):

Gheorghe Păun

Keyword(s):

Membrane Computing ◽

Brane Calculi

Membrane computing and brane calculi. Old, new, and future bridges

Theoretical Computer Science ◽

10.1016/j.tcs.2008.04.001 ◽

2008 ◽

Vol 404 (1-2) ◽

pp. 19-25 ◽

Cited By ~ 1

Author(s):

Gheorghe Păun

Keyword(s):

Membrane Computing ◽

Brane Calculi

Modeling and Analysis of Biological Processes by Mem(Brane) Calculi and Systems

Proceedings of the 2006 Winter Simulation Conference ◽

10.1109/wsc.2006.322939 ◽

2006 ◽

Cited By ~ 5

Author(s):

Nadia Busi ◽

Claudio Zandron

Keyword(s):

Biological Processes ◽

Modeling And Analysis ◽

Brane Calculi

Universality results for P systems based on brane calculi operations

Theoretical Computer Science ◽

10.1016/j.tcs.2006.10.016 ◽

2007 ◽

Vol 371 (1-2) ◽

pp. 83-105 ◽

Cited By ~ 16

Author(s):

Shankara Narayanan Krishna

Keyword(s):

P Systems ◽

Brane Calculi

Expressiveness Issues in Brane Calculi: A Survey

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.04.006 ◽

2008 ◽

Vol 209 ◽

pp. 107-124 ◽

Cited By ~ 1

Author(s):

Nadia Busi

Keyword(s):

Brane Calculi

Causal static analysis for Brane Calculi

Theoretical Computer Science ◽

10.1016/j.tcs.2015.03.014 ◽

2015 ◽

Vol 587 ◽

pp. 73-103 ◽

Cited By ~ 9

Author(s):

Chiara Bodei ◽

Roberta Gori ◽

Francesca Levi

Keyword(s):

Static Analysis ◽

Brane Calculi

One More Universality Result for P Systems with Objects on Membranes

International Journal of Computers Communications & Control ◽

10.15837/ijccc.2006.1.2269 ◽

2006 ◽

Vol 1 (1) ◽

pp. 25 ◽

Cited By ~ 1

Author(s):

Gheorghe Păun

Keyword(s):

Membrane Computing ◽

The Other ◽

P Systems ◽

Brane Calculi

<p>We continue here the attempt to bridge brane calculi with membrane computing, following the investigation started in [2]. Specifically, we consider P systems with objects placed on membranes, and processed by membrane operations. The operations used in this paper are membrane creation (cre), and membrane dissolution (dis), defined in a way which reminds the operations pino, exo from a brane calculus from [1]. For P systems based on these operations we prove the universality, for one of the two possible variants of the operations; for the other variant the problem remains open.</p>