-
1
-
-
34250847393
-
-
Besozzi, D., N. Busi, G. Franco, R. Freund, and Gh. Pǎun, Two universality results for (mem)brane systems, to appear.
-
-
-
-
2
-
-
34250882457
-
-
Busi, N., and R. Gorrieri, On the computational power of brane calculi, "Third Workshop on Computational Methods in Systems Biology", Edinburgh (2005).
-
-
-
-
3
-
-
33745651379
-
On the computational power of the mate/bud/drip brane calculus: interleaving vs, maximal parallelism
-
Membrane Computing, Selected and Invited Papers. Freund R., Pǎun Gh., Rozenberg G., and Salomaa A. (Eds). International Workshop, WMC6, Vienna, Austria, 2005, Springer, Berlin
-
Busi N. On the computational power of the mate/bud/drip brane calculus: interleaving vs, maximal parallelism. In: Freund R., Pǎun Gh., Rozenberg G., and Salomaa A. (Eds). Membrane Computing, Selected and Invited Papers. International Workshop, WMC6, Vienna, Austria, 2005. LNCS vol. 3850 (2006), Springer, Berlin 144-158
-
(2006)
LNCS
, vol.3850
, pp. 144-158
-
-
Busi, N.1
-
4
-
-
26444592298
-
Brane calculi. Interactions of biological membranes
-
Computational Methods in Systems Biology, Revised Selected Papers. Danos V., and Schachter V. (Eds). International Conference CMSB 2004, Paris, France, May 26-28, 2004, Springer, Berlin
-
Cardelli L. Brane calculi. Interactions of biological membranes. In: Danos V., and Schachter V. (Eds). Computational Methods in Systems Biology, Revised Selected Papers. International Conference CMSB 2004, Paris, France, May 26-28, 2004. LNCS vol. 3082 (2005), Springer, Berlin 257-280
-
(2005)
LNCS
, vol.3082
, pp. 257-280
-
-
Cardelli, L.1
-
5
-
-
33746190595
-
A universality result for a (mem)brane calculus based on mate/drip operations
-
Cardelli L., and Pǎun Gh. A universality result for a (mem)brane calculus based on mate/drip operations. Intern. J. Found. Computer Sci. 17 1 (2006) 49-68
-
(2006)
Intern. J. Found. Computer Sci.
, vol.17
, Issue.1
, pp. 49-68
-
-
Cardelli, L.1
Pǎun, Gh.2
-
6
-
-
34250849945
-
-
Cavaliere, M., A. Riscos-Núñez, R. Brijder, and G. Rozenberg: Membrane systems with marked membranes, submitted, 2005.
-
-
-
-
7
-
-
26444548683
-
Projective brane calculus
-
Computational Methods in Systems Biology, Revised Selected Papers. Danos V., and Schachter V. (Eds). International Conference CMSB 2004, Paris, France, May 26-28, 2004, Springer, Berlin
-
Danos V., and Pradalier S. Projective brane calculus. In: Danos V., and Schachter V. (Eds). Computational Methods in Systems Biology, Revised Selected Papers. International Conference CMSB 2004, Paris, France, May 26-28, 2004. LNCS vol. 3082 (2005), Springer, Berlin 134-148
-
(2005)
LNCS
, vol.3082
, pp. 134-148
-
-
Danos, V.1
Pradalier, S.2
-
8
-
-
84876521124
-
-
Fernau, H., R. Freund, M. Oswald, and K. Reinhardt, Refining the nonterminal complexity of graph- controlled grammars. In: Mereghetti, C., B. Palano, G. Pighizzini, and D. Wotschke (Eds.), "Seventh International Workshop on Descriptional Complexity of Formal Systems" (2005), 110-121.
-
-
-
-
11
-
-
34250801301
-
-
Pǎun, A., and B. Popa, P systems with proteins on membranes, submitted, 2005.
-
-
-
-
13
-
-
34250817824
-
-
Pǎun, Gh., One more universality result for P systems with objects on membranes, "Proc. Third Brainstorming Week on Membrane Computing", Sevilla, 2005, RGNC Report 01/2005, 263-274.
-
-
-
-
14
-
-
0003788769
-
-
Rozenberg G., and Salomaa A. (Eds), Springer, Berlin 3 volumes
-
In: Rozenberg G., and Salomaa A. (Eds). Handbook of Formal Languages (1997), Springer, Berlin 3 volumes
-
(1997)
Handbook of Formal Languages
-
-
-
15
-
-
34250811745
-
-
The P Systems Web Page http://psystems.disco.unimib.it.
-
-
-
|