-
1
-
-
24144495222
-
-
Andrei, O., Ciobanu, G., Lucanu, D.: Executable specification of P systems. In: Mauri, G., Pǎun, G., Jesús Pérez- Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, 3365, pp. 126-145. Springer, Heidelberg (2005)
-
Andrei, O., Ciobanu, G., Lucanu, D.: Executable specification of P systems. In: Mauri, G., Pǎun, G., Jesús Pérez- Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126-145. Springer, Heidelberg (2005)
-
-
-
-
2
-
-
33745135064
-
Spiking neural P systems
-
M. Ionescu, Gh. Păun, T. Yokomori: Spiking neural P systems. Fundamenta Informaticae, 71, 2-3 (2006), 279-308.
-
(2006)
Fundamenta Informaticae
, vol.71
, Issue.2-3
, pp. 279-308
-
-
Ionescu, M.1
Păun, G.H.2
Yokomori, T.3
-
3
-
-
0034248380
-
Computing with membranes
-
first circulated as Turku Center for Computer Science-TUCS Report 208, November 1998
-
Gh. Păun: Computing with membranes. Journal of Computer and System Sciences, 61, 1 (2000), 108-143 (first circulated as Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).
-
(2000)
Journal of Computer and System Sciences
, vol.61
, Issue.1
, pp. 108-143
-
-
Păun, G.H.1
-
4
-
-
33746190600
-
P systems with reaction maps
-
Bianco, L., Fontana, F., Manca, V.: P systems with reaction maps. International Journal of Foundations of Computer Science 17(1), 27-48 (2006)
-
(2006)
International Journal of Foundations of Computer Science
, vol.17
, Issue.1
, pp. 27-48
-
-
Bianco, L.1
Fontana, F.2
Manca, V.3
-
5
-
-
84899217585
-
Membrane computing. Main ideas, basic results, applications
-
M. Gheorghe, ed.), Idea Group Publ., London
-
Gh. Păun: Membrane computing. Main ideas, basic results, applications. In Molecular Computational Models: Unconventional Approaches (M. Gheorghe, ed.), Idea Group Publ., London, 2004, 1-31.
-
(2004)
Molecular Computational Models: Unconventional Approaches
, pp. 1-31
-
-
Păun, G.H.1
-
7
-
-
33744938702
-
Membrane computing. Brief introduction, recent results and applications
-
Gh. Păun, M.J. Pérez-Jiménez: Membrane computing. Brief introduction, recent results and applications. BioSystems, 85, 1 (2006), 11-22.
-
(2006)
Biosystems
, vol.85
, Issue.1
, pp. 11-22
-
-
Păun, G.H.1
Pérez-Jiménez, M.J.2
-
8
-
-
24144477513
-
An approach to computational complexity in membrane computing
-
Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS, Springer
-
M.J. Pérez-Jiménez: An approach to computational complexity in membrane computing. In Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS 3365, Springer, 2005, 85-109.
-
(2005)
Membrane Computing, 5Th International Workshop, WMC 2004
, vol.3365
, pp. 85-109
-
-
Pérez-Jiménez, M.J.1
-
9
-
-
33847096787
-
Discrete solutions to differential equations by metabolic P systems
-
Fontana, F., Manca, V.: Discrete solutions to differential equations by metabolic P systems. Theoretical Computer Science 372(2-3), 165-182 (2007)
-
(2007)
Theoretical Computer Science
, vol.372
, Issue.2-3
, pp. 165-182
-
-
Fontana, F.1
Manca, V.2
-
10
-
-
84876544194
-
P systems under uncertainty: The case of transmembrane proteins
-
S. Aguzzolli, I.I. Ardelean, D. Besozzi, B. Gerla, C. Manara: P systems under uncertainty: The case of transmembrane proteins. In Proc. Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, 2004, 107-118.
-
(2004)
Proc. Brainstorming Workshop on Uncertainty in Membrane Computing, Palma De Mallorca
, pp. 107-118
-
-
Aguzzolli, S.1
Ardelean, I.I.2
Besozzi, D.3
Gerla, B.4
Manara, C.5
-
11
-
-
84876526715
-
Biological roots and applications of P systems. Further suggestions
-
Springer
-
I.I. Ardelean: Biological roots and applications of P systems. Further suggestions. In Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 1-17.
-
(2006)
Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 1-17
-
-
Ardelean, I.I.1
-
12
-
-
46149101426
-
On modeling ion fluxes across biological membranes with P systems
-
Sevilla, RGNC Report 01/2005
-
I.I. Ardelean, D. Besozzi: On modeling ion fluxes across biological membranes with P systems. In Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 35-42.
-
(2005)
Proc. Third Brainstorming Week on Membrane Computing
, pp. 35-42
-
-
Ardelean, I.I.1
Besozzi, D.2
-
13
-
-
84876556787
-
Some notes on the interplay between P systems and chemotaxis in bacteria
-
Sevilla, RGNC Report 02/2006
-
I.A. Ardelean, D. Besozzi: Some notes on the interplay between P systems and chemotaxis in bacteria. In Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, RGNC Report 02/2006, 41-48.
-
(2006)
Proc. Fourth Brainstorming Week on Membrane Computing
, pp. 41-48
-
-
Ardelean, I.A.1
Besozzi, D.2
-
14
-
-
33746186482
-
P system models for mechanosensitive channels
-
I.I. Ardelean, D. Besozzi, M.H. Garzon, G. Mauri, S. Roy: P system models for mechanosensitive channels. In AMC 2006, 43-82.
-
(2006)
AMC
, pp. 43-82
-
-
Ardelean, I.I.1
Besozzi, D.2
Garzon, M.H.3
Mauri, G.4
Roy, S.5
-
15
-
-
84995468000
-
Playing with a probabilistic P system simulator: Mathematical and biological problems
-
I. Ardelean, M. Cavaliere: Playing with a probabilistic P system simulator: Mathematical and biological problems. New Generation Computing, 22, 4 (2004), 311-329.
-
(2004)
New Generation Computing
, vol.22
, Issue.4
, pp. 311-329
-
-
Ardelean, I.1
Cavaliere, M.2
-
16
-
-
4344680283
-
Modelling biological processes by using a probabilistic P system software
-
I.I. Ardelean, M. Cavaliere: Modelling biological processes by using a probabilistic P system software. Natural Computing, 2, 2 (2003), 173-197.
-
(2003)
Natural Computing
, vol.2
, Issue.2
, pp. 173-197
-
-
Ardelean, I.I.1
Cavaliere, M.2
-
17
-
-
84995487554
-
Population P systems-A model for the behaviour of systems of bio-entities
-
Leiden, The Netherlands
-
J. Auld, L. Bianco, G. Ciobanu, M. Gheorghe, D. Pescini, F.J. Romero-Campero: Population P systems-A model for the behaviour of systems of bio-entities. In Pre-proc. WMC7, Leiden, The Netherlands, 2006, 15-20.
-
(2006)
Pre-Proc. WMC7
, pp. 15-20
-
-
Auld, J.1
Bianco, L.2
Ciobanu, G.3
Gheorghe, M.4
Pescini, D.5
Romero-Campero, F.J.6
-
18
-
-
38549146290
-
The calculus of looping sequences for modeling biological membranes
-
Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, A. Troina: The calculus of looping sequences for modeling biological membranes. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007
, vol.4860
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
Troina, A.4
-
20
-
-
33846847647
-
Quorum sensing P systems
-
F. Bernardini, M. Gheorghe, N. Krasnogor: Quorum sensing P systems. Theoretical Computer Sci., 371, 1-2 (2007), 20-33.
-
(2007)
Theoretical Computer Sci
, vol.371
, Issue.1-2
, pp. 20-33
-
-
Bernardini, F.1
Gheorghe, M.2
Krasnogor, N.3
-
21
-
-
33745645876
-
On P systems as a modelling tool for biological systems
-
Vienna, Austria, 2005, Selected and Invited Papers, LNCS, Springer
-
F. Bernardini, M. Gheorghe, N. Krasnogor, R.C. Muniyandi, M.J. Pérez-Jiménez, F.J. Romero-Campero: On P systems as a modelling tool for biological systems. In Membrane Computing, International Workshop, WMC6, Vienna, Austria, 2005, Selected and Invited Papers, LNCS 3850, Springer, 2006, 114-133.
-
(2006)
Membrane Computing, International Workshop, WMC6
, vol.3850
, pp. 114-133
-
-
Bernardini, F.1
Gheorghe, M.2
Krasnogor, N.3
Muniyandi, R.C.4
Pérez-Jiménez, M.J.5
Romero-Campero, F.J.6
-
22
-
-
33644516416
-
The Π-calculus as an abstraction for biomolecular systems
-
Springer, Berlin
-
Regev, A., Shapiro, E.: The Π-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology, pp. 1-50. Springer, Berlin (2004)
-
(2004)
Modelling in Molecular Biology
, pp. 1-50
-
-
Regev, A.1
Shapiro, E.2
-
23
-
-
0043095484
-
Dynamical aspects of P systems
-
F. Bernardini, V. Manca: Dynamical aspects of P systems. BioSystems, 70, 2 (2003), 85-93.
-
(2003)
Biosystems
, vol.70
, Issue.2
, pp. 85-93
-
-
Bernardini, F.1
Manca, V.2
-
24
-
-
84876545641
-
A modeling approach based on P systems with bounded parallelism
-
Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS, Springer
-
F. Bernardini, F.J. Romero-Campero, M. Gheorghe, M.J. Pérez-Jiménez: A modeling approach based on P systems with bounded parallelism. In Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 49-65.
-
(2006)
Membrane Computing, 7Th International Workshop, WMC 2006
, vol.4361
, pp. 49-65
-
-
Bernardini, F.1
Romero-Campero, F.J.2
Gheorghe, M.3
Pérez-Jiménez, M.J.4
-
26
-
-
85043040556
-
The potential of P systems for modeling the activity of mechanosensitive channels in E. Coli
-
Tarragona, GRLMC Report 28/03, 84-102
-
D. Besozzi, I.I. Ardelean, G. Mauri: The potential of P systems for modeling the activity of mechanosensitive channels in E. Coli. In Pre-proc. WMC 2003, Tarragona, GRLMC Report 28/03, 84-102.
-
Pre-Proc. WMC 2003
-
-
Besozzi, D.1
Ardelean, I.I.2
Mauri, G.3
-
27
-
-
34248157541
-
Seasonal variance in P systems models for metapopulations
-
D. Besozzi, P. Cazzaniga, D. Pescini, G. Mauri: Seasonal variance in P systems models for metapopulations. Progress in Natural Science, 17, 4 (2007), 392-400.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 392-400
-
-
Besozzi, D.1
Cazzaniga, P.2
Pescini, D.3
Mauri, G.4
-
28
-
-
24144439786
-
A P system description of the sodium-potassium pump
-
Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS, Springer
-
D. Besozzi, G. Ciobanu: A P system description of the sodium-potassium pump. In Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS 3365, Springer, 2005, 210-223.
-
(2005)
Membrane Computing, 5Th International Workshop, WMC 2004
, vol.3365
, pp. 210-223
-
-
Besozzi, D.1
Ciobanu, G.2
-
29
-
-
38549180963
-
Psim-A computational platform for metabolic P systems
-
Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
L. Bianco: Psim-A computational platform for metabolic P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007
, vol.4860
-
-
Bianco, L.1
-
31
-
-
33746190600
-
P systems with reaction maps
-
L. Bianco, F. Fontana, V. Manca: P systems with reaction maps. Intern. J. Found. Computer Sci., 17, 1 (2006), 27-48.
-
(2006)
Intern. J. Found. Computer Sci
, vol.17
, Issue.1
, pp. 27-48
-
-
Bianco, L.1
Fontana, F.2
Manca, V.3
-
32
-
-
85043092470
-
Computation of biochemical dynamics using MP systems
-
Trento, poster
-
L. Bianco, F. Fontana, V. Manca: Computation of biochemical dynamics using MP systems. Computational Methods in Systems Biology, Intern. Conference, Trento, 2006, poster.
-
(2006)
Computational Methods in Systems Biology, Intern. Conference
-
-
Bianco, L.1
Fontana, F.2
Manca, V.3
-
34
-
-
34547895555
-
Symbolic generation and representation of complex oscillations. Intern
-
L. Bianco, V. Manca: Symbolic generation and representation of complex oscillations. Intern. J. Computer Math., 83, 7 (2006), 549-568.
-
(2006)
J. Computer Math
, vol.83
, Issue.7
, pp. 549-568
-
-
Bianco, L.1
Manca, V.2
-
35
-
-
49249094893
-
Towards a P systems Pseudomonas quorum sensing model
-
Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS, Springer
-
L. Bianco, D. Pescini, P. Siepmann, N Krasnogor, F.J. Romero-Campero, M. Gheorghe: Towards a P systems Pseudomonas quorum sensing model. In Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 197-214.
-
(2006)
Membrane Computing, 7Th International Workshop, WMC 2006
, vol.4361
, pp. 197-214
-
-
Bianco, L.1
Pescini, D.2
Siepmann, P.3
Krasnogor, N.4
Romero-Campero, F.J.5
Gheorghe, M.6
-
37
-
-
84867736170
-
Modelling respiration in bacteria and respiration/ photosynthesis interaction in Cyanobacteria by using a P system simulator
-
M. Cavaliere, I.I. Ardelean: Modelling respiration in bacteria and respiration/ photosynthesis interaction in Cyanobacteria by using a P system simulator. In AMC 2006, 129-158.
-
(2006)
AMC
, pp. 129-158
-
-
Cavaliere, M.1
Ardelean, I.I.2
-
39
-
-
33845214005
-
Modelling cellular processes using membrane systems with peripheral and integral proteins
-
Trento, 2006, LNBI, Springer
-
M. Cavaliere, S. Sedwards: Modelling cellular processes using membrane systems with peripheral and integral proteins. Computational Methods in Systems Biology, Intern. Conference, Trento, 2006, LNBI 4210, Springer, 2006, 108-126.
-
(2006)
Computational Methods in Systems Biology, Intern. Conference
, vol.4210
, pp. 108-126
-
-
Cavaliere, M.1
Sedwards, S.2
-
41
-
-
85043062954
-
Stochastic modelling and simulations of the Ras/cAMP/PKA pathway in the yeast Saccharomyces cerevisiae
-
P. Cazzaniga, D. Pescini, D. Besozzi, E. Martegani, G. Mauri: Stochastic modelling and simulations of the Ras/cAMP/PKA pathway in the yeast Saccharomyces cerevisiae. Proc. CMBS 2007.
-
(2007)
Proc. CMBS
-
-
Cazzaniga, P.1
Pescini, D.2
Besozzi, D.3
Martegani, E.4
Mauri, G.5
-
42
-
-
84876559742
-
Tau leaping stochastic simulation method in P systems. In Membrane Computing
-
Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS, Springer
-
P. Cazzaniga, D. Pescini, D. Besozzi, G. Mauri: Tau leaping stochastic simulation method in P systems. In Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 2006, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 298-313.
-
(2006)
7Th International Workshop, WMC 2006
, vol.4361
, pp. 298-313
-
-
Cazzaniga, P.1
Pescini, D.2
Besozzi, D.3
Mauri, G.4
-
43
-
-
38049126843
-
Stochastic approaches in P systems for simulating biological systems
-
Fenix Editora, Sevilla
-
P. Cazzaniga, D. Pescini, F.J. Romero-Campero, D. Besozzi, G. Mauri: Stochastic approaches in P systems for simulating biological systems. In Proc. Brainstorming Week on Membrane Computing 2006, Fenix Editora, Sevilla, 2006, 145-164.
-
(2006)
Proc. Brainstorming Week on Membrane Computing 2006
, pp. 145-164
-
-
Cazzaniga, P.1
Pescini, D.2
Romero-Campero, F.J.3
Besozzi, D.4
Mauri, G.5
-
44
-
-
34248187425
-
Simulating FAS-induced apoptosis by using P systems
-
S. Cheruku, A. Păun, F.J. Romero-Campero, M.J. Pérez-Jiménez, O.H. Ibarra: Simulating FAS-induced apoptosis by using P systems. Progress in Natural Science, 17, 4 (2007), 424-431.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 424-431
-
-
Cheruku, S.1
Păun, A.2
Romero-Campero, F.J.3
Pérez-Jiménez, M.J.4
Ibarra, O.H.5
-
45
-
-
84995515472
-
Modeling cell-mediated immunity by means of P systems
-
G. Ciobanu: Modeling cell-mediated immunity by means of P systems. In AMC 2006, 159-180.
-
(2006)
In AMC
, pp. 159-180
-
-
Ciobanu, G.1
-
46
-
-
85043082562
-
Dynamics of HIV infection studied with cellular automata and conformon-P systems
-
D.V. Corne, P. Frisco: Dynamics of HIV infection studied with cellular automata and conformon-P systems. BioSystems, 2007.
-
(2007)
Biosystems
-
-
Corne, D.V.1
Frisco, P.2
-
47
-
-
38149093309
-
P system models of bistable, enzyme driven chemical reaction networks
-
Mar Menor, 2007, LNCS
-
S. Dunn, P. Stivers: P system models of bistable, enzyme driven chemical reaction networks. In Bio-Inspired Modeling of Cognitive Tasks, Proc. IWINAC 2007, Mar Menor, 2007, LNCS 4527, 203-213.
-
Bio-Inspired Modeling of Cognitive Tasks, Proc. IWINAC 2007
, vol.4527
, pp. 203-213
-
-
Dunn, S.1
Stivers, P.2
-
48
-
-
33745665071
-
P systems and the modeling of biochemical oscillations
-
Vienna, Austria, 2005, Selected and Invited Papers, LNCS, Springer
-
F. Fontana, L. Bianco, V. Manca: P systems and the modeling of biochemical oscillations. In Membrane Computing, International Workshop, WMC6, Vienna, Austria, 2005, Selected and Invited Papers, LNCS 3850, Springer, 2006, 199-208.
-
(2006)
Membrane Computing, International Workshop, WMC6
, vol.3850
, pp. 199-208
-
-
Fontana, F.1
Bianco, L.2
Manca, V.3
-
49
-
-
38949174955
-
Knee joint injury and repair modeled by membrane systems
-
Vienna, Austria, 2005, Selected and Invited Papers, LNCS, Springer
-
G. Franco, N. Jonoska, B. Osborn, A. Plaas: Knee joint injury and repair modeled by membrane systems. BioSystems, 2007.
-
(2008)
BioSystems
, vol.91
, Issue.3
, pp. 473-488
-
-
Franco, G.1
Jonoska, N.2
Osborn, B.3
Plaas, A.4
-
50
-
-
35048879186
-
A membrane system for the leukocyte selective recruitment
-
Tarragona, LNCS, Springer
-
G. Franco, V. Manca: A membrane system for the leukocyte selective recruitment. In Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS 2933, Springer, 2004, 181-190.
-
(2004)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.2933
, pp. 181-190
-
-
Franco, G.1
Manca, V.2
-
51
-
-
85043035291
-
P systems for modelling biological processes in living cells
-
R. Freund, T. Gschwandtner: P systems for modelling biological processes in living cells. Submitted 2006.
-
(2006)
Submitted
-
-
Freund, R.1
Gschwandtner, T.2
-
52
-
-
84995367326
-
Advances in modeling the dynamics of HIV infection with conformon-P systems
-
Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
P. Frisco, D.W. Corne: Advances in modeling the dynamics of HIV infection with conformon-P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007
, vol.4860
-
-
Frisco, P.1
Corne, D.W.2
-
54
-
-
84995459405
-
A membrane computing view on tumours
-
M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez, F.J. Romero-Campero: A membrane computing view on tumours. Progress in Natural Science, 17, 4 (2007), 449-457.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 449-457
-
-
Gutiérrez-Naranjo, M.A.1
Pérez-Jiménez, M.J.2
Riscos-Núñez, A.3
Romero-Campero, F.J.4
-
55
-
-
85017384617
-
Simulating avascular tumors with membrane systems
-
RGNC Report 01/2005
-
M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F.J. Romero-Campero: Simulating avascular tumors with membrane systems. In Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 185-196.
-
(2005)
Proc. Third Brainstorming Week on Membrane Computing, Sevilla
, pp. 185-196
-
-
Gutiérrez-Naranjo, M.A.1
Pérez-Jiménez, M.J.2
Romero-Campero, F.J.3
-
56
-
-
38549159888
-
Hill kinetics meets P systems. A case study on gene regulatory networks as computing agents in silico and in vivo
-
Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
T. Hinze, S. Hayat, T. Lenser, N. Matsumaru, P. Dittrich: Hill kinetics meets P systems. A case study on gene regulatory networks as computing agents in silico and in vivo. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki
, vol.4860
-
-
Hinze, T.1
Hayat, S.2
Lenser, T.3
Matsumaru, N.4
Dittrich, P.5
-
57
-
-
77956439100
-
A protein substructure based P system for description and analysis of cell signalling network
-
Springer
-
T. Hinze, T. Lenser, P. Dittrich: A protein substructure based P system for description and analysis of cell signalling network. In Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 409-423.
-
(2006)
Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 409-423
-
-
Hinze, T.1
Lenser, T.2
Dittrich, P.3
-
58
-
-
33846834266
-
An agent-based behavioural model of Monomorium pharaonis colonies
-
Springer
-
D. Jackson, M. Gheorghe, M. Holcombe, F. Bernardini: An agent-based behavioural model of Monomorium pharaonis colonies. In Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS 2933, Springer, 2004, 232-239.
-
(2004)
Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS
, vol.2933
, pp. 232-239
-
-
Jackson, D.1
Gheorghe, M.2
Holcombe, M.3
Bernardini, F.4
-
59
-
-
33746037130
-
An appealing computational mechanism drawn from bacterial quorum sensing
-
N. Krasnogor, M. Gheorghe, G. Terrazas, S. Diggle, P. Williams, M. Camara: An appealing computational mechanism drawn from bacterial quorum sensing. Bulletin of the EATCS, 85 (2005), 135-148.
-
(2005)
Bulletin of the EATCS
, vol.85
, pp. 135-148
-
-
Krasnogor, N.1
Gheorghe, M.2
Terrazas, G.3
Diggle, S.4
Williams, P.5
Camara, M.6
-
60
-
-
33847102852
-
Topics and problems in metabolic P systems
-
V. Manca: Topics and problems in metabolic P systems. In Proc. Brainstorming Week on Membrane Computing 2006, Fenix Editora, Sevilla, 2006, Vol. 2, 173-184.
-
(2006)
Proc. Brainstorming Week on Membrane Computing 2006, Fenix Editora, Sevilla
, vol.2
, pp. 173-184
-
-
Manca, V.1
-
61
-
-
84876552317
-
MP systems approaches to biochemical dynamics: Biological rhythms and oscillations
-
V. Manca: MP systems approaches to biochemical dynamics: biological rhythms and oscillations. In Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 86-99.
-
(2006)
Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 86-99
-
-
Manca, V.1
-
62
-
-
84877293012
-
Metabolic P systems for biochemical dynamics
-
V. Manca: Metabolic P systems for biochemical dynamics. Progress in Natural Science, 17, 4 (2007), 384-391.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 384-391
-
-
Manca, V.1
-
63
-
-
24144439293
-
Evolution and oscillation in P systems. Applications to biological phenomena
-
Springer
-
V. Manca, L. Bianco, F. Fontana: Evolution and oscillation in P systems. Applications to biological phenomena. In Membrane Computing. International Workshop WMC5, Milano, Italy, 2004, LNCS 3365, Springer, 2005, 63-84.
-
(2005)
Membrane Computing. International Workshop WMC5, Milano, Italy, 2004, LNCS
, vol.3365
, pp. 63-84
-
-
Manca, V.1
Bianco, L.2
Fontana, F.3
-
64
-
-
35048830357
-
Bridging P systems and genomics: A preliminary approach
-
Springer
-
S. Marcus: Bridging P systems and genomics: A preliminary approach. In Membrane Computing, International Workshop, WMC-CdeA 2002. Curtea de Arge,s, Romania, August 2002, Revised Papers, LNCS 2597, Springer, 2003, 371-376.
-
(2003)
Membrane Computing, International Workshop, Wmc-Cdea 2002. Curtea De Arge,s, Romania, August 2002, Revised Papers, LNCS
, vol.2597
, pp. 371-376
-
-
Marcus, S.1
-
65
-
-
38149103320
-
Identification of an intracellular signalling complex for ras/camp pathway in yeast: Experimental evidences and modelling
-
Hanassari, Espo, Finland
-
E. Martegani, R. Tisi, F. Belotti, S. Colombo, C. Paiardi, J. Winderickx, P. Cazzaniga, D. Besozzi, G. Mauri: Identification of an intracellular signalling complex for ras/camp pathway in yeast: experimental evidences and modelling. ISSY 25 Conf., Hanassari, Espo, Finland, 2006.
-
(2006)
ISSY 25 Conf
-
-
Martegani, E.1
Tisi, R.2
Belotti, F.3
Colombo, S.4
Paiardi, C.5
Winderickx, J.6
Cazzaniga, P.7
Besozzi, D.8
Mauri, G.9
-
66
-
-
60349118134
-
A tool for working with the SBML format in P systems modelling biological processes
-
Sevilla, RGNC Report 01/2005
-
I. Nepomuceno, J.A. Nepomuceno, F.J. Romero-Campero: A tool for working with the SBML format in P systems modelling biological processes. In Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 219-228.
-
(2005)
Proc. Third Brainstorming Week on Membrane Computing
, pp. 219-228
-
-
Nepomuceno, I.1
Nepomuceno, J.A.2
Romero-Campero, F.J.3
-
67
-
-
0036184796
-
Simulation of photosynthesis by a K-subset transforming system with membranes
-
T.Y. Nishida: Simulation of photosynthesis by a K-subset transforming system with membranes. Fundamenta Informaticae, 49, 1-3 (2002), 249-259.
-
(2002)
Fundamenta Informaticae
, vol.49
, Issue.1-3
, pp. 249-259
-
-
Nishida, T.Y.1
-
68
-
-
33847152723
-
A membrane computing model of photosynthesis
-
T.Y. Nishida: A membrane computing model of photosynthesis. In AMC 2006, 181-202.
-
(2006)
AMC
, pp. 181-202
-
-
Nishida, T.Y.1
-
69
-
-
77953910025
-
Modeling signal transduction using P systems
-
Springer
-
A. Păun, M.J. Pérez-Jiménez, F.J. Romero-Campero:Modeling signal transduction using P systems. In Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 100-122.
-
(2006)
Membrane Computing, WMC2006, Leiden, Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 100-122
-
-
Păun, A.1
Pérez-Jiménez, M.J.2
Romero-Campero, F.J.3
-
70
-
-
84876573165
-
P systems-based modelling of cellular signalling pathways
-
Leiden, The Netherlands
-
M.J. Pérez-Jiménez: P systems-based modelling of cellular signalling pathways. In Pre-proc. WMC7, 2006, Leiden, The Netherlands, 54-73.
-
Pre-Proc. WMC7, 2006
, pp. 54-73
-
-
Pérez-Jiménez, M.J.1
-
72
-
-
26444434865
-
A study of the robustness of the EGFR signalling cascade using continuous membrane systems
-
Springer
-
M.J. Pérez-Jiménez, F.J. Romero-Campero: A study of the robustness of the EGFR signalling cascade using continuous membrane systems. In Proc. IWINAC 2005, La Palma de Gran Canaria, LNCS 3561, Springer, 2005, vol. I, 268-278.
-
(2005)
Proc. IWINAC 2005, La Palma De Gran Canaria, LNCS
, vol.3561-1
, pp. 268-278
-
-
Pérez-Jiménez, M.J.1
Romero-Campero, F.J.2
-
73
-
-
33847241848
-
Investigating local evolutions in dynamical probabilistic P systems
-
IEEE Press
-
D. Pescini, D. Besozzi, G. Mauri: Investigating local evolutions in dynamical probabilistic P systems. In Proc. SYNASC 05, IEEE Press, 2005, 440-447.
-
(2005)
Proc. SYNASC 05
, pp. 440-447
-
-
Pescini, D.1
Besozzi, D.2
Mauri, G.3
-
74
-
-
33745738976
-
Analysis and simulation of dynamics in probabilistic P systems
-
London, Ontario, 2005, LNCS, Springer
-
D. Pescini, D. Besozzi, C. Zandron, G. Mauri: Analysis and simulation of dynamics in probabilistic P systems. In Proc. DNA11, UWO, London, Ontario, 2005, LNCS 3892, Springer, 2006, 236-247.
-
(2006)
Proc. DNA11, UWO
, vol.3892
, pp. 236-247
-
-
Pescini, D.1
Besozzi, D.2
Zandron, C.3
Mauri, G.4
-
75
-
-
33847208632
-
Gene regulatory network modelling by means of membrane systems
-
Vienna, July
-
A. Profir, N. Barbacari, C. Zelinschi: Gene regulatory network modelling by means of membrane systems. In Pre-proc. WMC6, Vienna, July 2005, 162-178.
-
(2005)
Pre-Proc. WMC6
, pp. 162-178
-
-
Profir, A.1
Barbacari, N.2
Zelinschi, C.3
-
76
-
-
84995494636
-
Modelling molecular genetic triggers by means of P transducers
-
Milano, Italy
-
A. Profir, E. Boian, N. Barbacari, E. Guţuleac, C. Zelinschi: Modelling molecular genetic triggers by means of P transducers. In Pre-proc. WMC2004, Milano, Italy, 360-362.
-
Pre-Proc. WMC2004
, pp. 360-362
-
-
Profir, A.1
Boian, E.2
Barbacari, N.3
Gu, E.4
Ţuleaczelinschi, C.5
-
77
-
-
85043040186
-
Simulation of biomolecular processes by using stochastic P systems
-
Brasil, October
-
Y. Pu, Y. Yu, X. Dong: Simulation of biomolecular processes by using stochastic P systems. In Proc. Workshop on High Performance Computing in the Life Sciences, Ouro Preto, Brasil, October 2006.
-
(2006)
Proc. Workshop on High Performance Computing in the Life Sciences, Ouro Preto
-
-
Pu, Y.1
Yu, Y.2
Dong, X.3
-
79
-
-
84867715151
-
Graphical modelling of higher plants using P systems
-
Springer
-
A. Romero-Jiménez, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez: Graphical modelling of higher plants using P systems. In Membrane Computing, WMC2006, Leiden, The Netherlands, Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 496-507.
-
(2006)
Membrane Computing, WMC2006, Leiden, the Netherlands, Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 496-507
-
-
Romero-Jiménez, A.1
Gutiérrez-Naranjo, M.A.2
Pérez-Jiménez, M.J.3
-
80
-
-
34248192683
-
Cellular modelling using P systems and process algebra
-
F.J. Romero-Campero, M. Gheorghe, G. Ciobanu, J. Auld, M.J. Pérez-Jiménez: Cellular modelling using P systems and process algebra. Progress in Natural Science, 17, 4 (2007), 375-383.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 375-383
-
-
Romero-Campero, F.J.1
Gheorghe, M.2
Ciobanu, G.3
Auld, J.4
Pérez-Jiménez, M.J.5
-
81
-
-
84995437064
-
Modelling of dynamic configuration of biology-inspired multi-agent systems with communicating Xmachines and population P systems
-
Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
I. Stamatopoulou, M. Gheorghe, P. Kefalas: Modelling of dynamic configuration of biology-inspired multi-agent systems with communicating Xmachines and population P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki
, vol.4860
-
-
Stamatopoulou, I.1
Gheorghe, M.2
Kefalas, P.3
-
82
-
-
84899383204
-
Modeling the p53 signaling network by using P systems
-
Tarragona, GRLMC Report 28/03
-
Y. Suzuki, S. Ogishima, H. Tanaka: Modeling the p53 signaling network by using P systems. In Pre-proceedings of Workshop on Membrane Computing, WMC2003, Tarragona, GRLMC Report 28/03, 449-454.
-
Pre-Proceedings of Workshop on Membrane Computing, WMC2003
, pp. 449-454
-
-
Suzuki, Y.1
Ogishima, S.2
Tanaka, H.3
-
83
-
-
33745747576
-
Abstract rewriting systems on multisets, ARMS, and their application for modelling complex behaviours
-
Tarragona, February 2003, TR 26/03, URV
-
Y. Suzuki, H. Tanaka: Abstract rewriting systems on multisets, ARMS, and their application for modelling complex behaviours. In Brainstorming Week on Membrane Computing, Tarragona, February 2003, TR 26/03, URV, 2003, 313-331.
-
(2003)
Brainstorming Week on Membrane Computing
, pp. 313-331
-
-
Suzuki, Y.1
Tanaka, H.2
-
84
-
-
33847164618
-
Modeling p53 signalins pathways by using multiset processing
-
Y. Suzuki, H. Tanaka: Modeling p53 signalins pathways by using multiset processing. In AMC 2006, 203-214.
-
(2006)
AMC
, pp. 203-214
-
-
Suzuki, Y.1
Tanaka, H.2
-
85
-
-
26444610738
-
An environment aware P system model of quorum sensing
-
Springer
-
G. Terrazas, N. Krasnogor, M. Gheorghe, F. Bernardini, S. Diggle, M. Camara: An environment aware P system model of quorum sensing. In Proc. New Computational Paradigms. First Conf. on Computability in Europe, CiE2005, Amsterdam, LNCS 3536, Springer, 2005, 479-485.
-
(2005)
Proc. New Computational Paradigms. First Conf. on Computability in Europe, Cie2005, Amsterdam, LNCS
, vol.3536
, pp. 479-485
-
-
Terrazas, G.1
Krasnogor, N.2
Gheorghe, M.3
Bernardini, F.4
Diggle, S.5
Camara, M.6
-
86
-
-
84995494794
-
Direct simulation of the Oregonator model by using a class of P systems
-
Springer
-
M. Umeki, Y. Suzuki: Direct simulation of the Oregonator model by using a class of P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS
, vol.4860
-
-
Umeki, M.1
Suzuki, Y.2
-
87
-
-
33646673277
-
Preliminaries about some possible applications of P systems to linguistics
-
Springer
-
G. Bel Enguix: Preliminaries about some possible applications of P systems to linguistics. In Membrane Computing, WMC-CdeA2002, Curtea de Arge,s, Romania, August 2002, Revised Papers, LNCS 2597, Springer, 2003, 74-89.
-
(2003)
Membrane Computing, Wmc-Cdea2002, Curtea De Arge,s, Romania, August 2002, Revised Papers, LNCS
, vol.2597
, pp. 74-89
-
-
Bel Enguix, G.1
-
88
-
-
84995376845
-
Analyzing P systems structure. Working, predictions and some linguistic suggestions
-
Milan, Italy
-
G. Bel Enguix: Analyzing P systems structure. Working, predictions and some linguistic suggestions. In Proc. Workshop on Membrane Computing, Milan, Italy, 2004, 138-150.
-
(2004)
Proc. Workshop on Membrane Computing
, pp. 138-150
-
-
Bel Enguix, G.1
-
89
-
-
24144462544
-
Unstable P systems. Applications to linguistics
-
Springer
-
G. Bel Enguix: Unstable P systems. Applications to linguistics. In Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS 3365, Springer, 2005, 190-209.
-
(2005)
Membrane Computing, 5Th International Workshop, WMC 2004, Milan, Italy, June 2004, Revised, Selected and Invited Papers, LNCS
, vol.3365
, pp. 190-209
-
-
Bel Enguix, G.1
-
90
-
-
35048846055
-
Active P automata and natural language processing
-
Springer
-
G. Bel-Enguix, R. Gramatovici: Active P automata and natural language processing. In Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS 2933, Springer, 2004, 31-42.
-
(2004)
Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS
, vol.2933
, pp. 31-42
-
-
Bel-Enguix, G.1
Gramatovici, R.2
-
92
-
-
33847175207
-
Modelling parallel conversations with P systems
-
IEEE Press
-
G. Bel Enguix, M.D. Jiménez-López: Modelling parallel conversations with P systems. Proc. SYNASC 05, IEEE Press, 2005, 395-398.
-
(2005)
Proc. SYNASC 05
, pp. 395-398
-
-
Bel Enguix, G.1
Jiménez-López, M.D.2
-
93
-
-
26444547552
-
Linguistic membrane systems and applications
-
G. Bel Enguix, M.D. Jiménez-López: Linguistic membrane systems and applications. In AMC 2006, 347-388.
-
(2006)
AMC
, pp. 347-388
-
-
Bel Enguix, G.1
Jiménez-López, M.D.2
-
94
-
-
34249080882
-
Dynamic meaning membrane systems: An application to the description of semantic change
-
G. Bel Enguix, M.D. Jiménez-López: Dynamic meaning membrane systems: An application to the description of semantic change. Fundamenta Informaticae, 76, 3 (2007), 219-237.
-
(2007)
Fundamenta Informaticae
, vol.76
, Issue.3
, pp. 219-237
-
-
Bel Enguix, G.1
Jiménez-López, M.D.2
-
95
-
-
77949573542
-
Parsing with P automata
-
R. Gramatovici, G. Bel Enguix: Parsing with P automata. In AMC 2006, 389-410.
-
(2006)
AMC
, pp. 389-410
-
-
Gramatovici, R.1
Bel Enguix, G.2
-
98
-
-
85043073523
-
Membrany dynamicsne w modelowaniu systemow ekonomicznych
-
J. Bartosik: Membrany dynamicsne w modelowaniu systemow ekonomicznych. Conf. Bad. Oper. i Syst., 2006.
-
(2006)
Conf. Bad. Oper. I Syst
-
-
Bartosik, J.1
-
99
-
-
84959381067
-
Systemy membranowe jako modele hierarchicznych struktur zarzadzania
-
J. Bartosik, W. Korczynski: Systemy membranowe jako modele hierarchicznych struktur zarzadzania. Mat. Pokonferencyjne Ekonomia, Informatyka, Zarzadzanie. Teoria i Praktyka, Wydzial Zarzadzania AGH, Tom II, AGH 2002.
-
(2002)
Mat. Pokonferencyjne Ekonomia, Informatyka, Zarzadzanie. Teoria I Praktyka, Wydzial Zarzadzania AGH, Tom II, AGH
-
-
Bartosik, J.1
Korczynski, W.2
-
101
-
-
34248178180
-
How a membrane agent buys goods in a membrane store
-
R. Freund, M. Oswald, T. Schirk: How a membrane agent buys goods in a membrane store. Progress in Natural Science, 17, 4 (2007), 442-448.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 442-448
-
-
Freund, R.1
Oswald, M.2
Schirk, T.3
-
106
-
-
85043043154
-
Independent agents in a globalized world modelled by tissue P systems
-
M. Oswald: Independent agents in a globalized world modelled by tissue P systems. In Workshop on Artificial Life and Robotics, 2006.
-
(2006)
Workshop on Artificial Life and Robotics
-
-
Oswald, M.1
-
107
-
-
33847220006
-
Membrane computing as a framework for modeling economic processes
-
Romania, IEEE Press
-
Gh. Păun, R. Păun: Membrane computing as a framework for modeling economic processes. In Proc. SYNASC 05, Timişoara, Romania, IEEE Press, 2005, 11-18.
-
(2005)
Proc. SYNASC 05, Timişoara
, pp. 11-18
-
-
Păun, G.H.1
Păun, R.2
-
108
-
-
84995399246
-
A membrane computing approach to economic modeling: The producer-retailer interactions and investments
-
Part I: 3, 1 (2006), 30-37, Part II
-
Gh. Păun, R. Păun: A membrane computing approach to economic modeling: The producer-retailer interactions and investments. Analizăşi Prospectivă Economică (Economic Analysis and Forecasting), Part I: 3, 1 (2006), 30-37, Part II: 4, 2 (2006), 47-54.
-
(2006)
Analizăşi Prospectivă Economică (Economic Analysis and Forecasting)
, vol.4
, Issue.2
, pp. 47-54
-
-
Păun, G.H.1
Păun, R.2
-
110
-
-
77950576884
-
Static sorting algorithms for P systems
-
Tarragona, GRLMC Report 28/03
-
A. Alhazov, D. Sburlan: Static sorting algorithms for P systems. In Preproceedings of Workshop on Membrane Computing, WMC2003, Tarragona, GRLMC Report 28/03, 17-40.
-
Preproceedings of Workshop on Membrane Computing, WMC2003
, pp. 17-40
-
-
Alhazov, A.1
Sburlan, D.2
-
113
-
-
52149107973
-
Some applications of spiking neural P systems
-
Thessaloniki, Greece, June
-
M. Ionescu, D. Sburlan: Some applications of spiking neural P systems. In Pre-proc. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007, 383-394.
-
(2007)
Pre-Proc. Eight Workshop on Membrane Computing, WMC2007
, pp. 383-394
-
-
Ionescu, M.1
Sburlan, D.2
-
114
-
-
34248228046
-
Applications of membrane systems in distributed systems
-
A. Binder, R. Freund, G. Lojka, M. Oswald: Applications of membrane systems in distributed systems. Progress in Natural Science, 17, 4 (2007), 401-410.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 401-410
-
-
Binder, A.1
Freund, R.2
Lojka, G.3
Oswald, M.4
-
115
-
-
84995374181
-
Specifying dynamic software architectures by using membrane systems
-
Sevilla, RGNC Report 01/2005
-
M. Cavaliere, V. Deufemia: Specifying dynamic software architectures by using membrane systems. In Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 87-106.
-
(2005)
Proc. Third Brainstorming Week on Membrane Computing
, pp. 87-106
-
-
Cavaliere, M.1
Deufemia, V.2
-
117
-
-
33645601065
-
A perfect shuffle algorithm for reduction processes and its simulation with P systems
-
Oradea, Ed. Univ. Oradea
-
R. Ceterchi, M. Pérez-Jiménez: A perfect shuffle algorithm for reduction processes and its simulation with P systems. In Proc ICCC, Oradea, Ed. Univ. Oradea, 2004, 92-98.
-
(2004)
Proc ICCC
, pp. 92-98
-
-
Ceterchi, R.1
Pérez-Jiménez, M.2
-
119
-
-
84995456008
-
Simulating the bitonic sort on a 2D-mesh with P systems
-
Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
R. Ceterchi, M.J. Pérez-Jiménez, A.I. Tomescu: Simulating the bitonic sort on a 2D-mesh with P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007
, vol.4860
-
-
Ceterchi, R.1
Pérez-Jiménez, M.J.2
Tomescu, A.I.3
-
120
-
-
35048868835
-
Simulating Boolean circuits with P systems
-
Springer
-
R. Ceterchi, D. Sburlan: Simulating Boolean circuits with P systems. In Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS 2933, Springer, 2004, 104-122.
-
(2004)
Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS
, vol.2933
, pp. 104-122
-
-
Ceterchi, R.1
Sburlan, D.2
-
121
-
-
23844558805
-
Simulating the Fredkin gate with energybased P systems
-
A. Leporati, C. Zandron, G. Mauri: Simulating the Fredkin gate with energybased P systems. J. Univ. Computer Science, 10, 5 (2004), 600-619.
-
(2004)
J. Univ. Computer Science
, vol.10
, Issue.5
, pp. 600-619
-
-
Leporati, A.1
Zandron, C.2
Mauri, G.3
-
122
-
-
33845530421
-
Reversible P systems to simulate Fredkin circuits
-
A. Leporati, C. Zandron, G. Mauri: Reversible P systems to simulate Fredkin circuits. Fundamenta Informaticae, 74, 4 (2006), 529-548.
-
(2006)
Fundamenta Informaticae
, vol.74
, Issue.4
, pp. 529-548
-
-
Leporati, A.1
Zandron, C.2
Mauri, G.3
-
124
-
-
38549145289
-
OPERASCC-An instance of a formal framework for MAS modelling based on population P systems
-
Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS, Springer
-
I. Stamatopoulou, P. Kefalas, M. Gheorghe: OPERASCC-An instance of a formal framework for MAS modelling based on population P systems. In Membrane Computing. Eight Workshop on Membrane Computing, WMC2007, Thessaloniki, Greece, June 2007. Revised, Selected and Invited Papers, LNCS 4860, Springer, 2007.
-
(2007)
Membrane Computing. Eight Workshop on Membrane Computing, WMC2007
, vol.4860
-
-
Stamatopoulou, I.1
Kefalas, P.2
Gheorghe, M.3
-
125
-
-
24144470014
-
LNMtal-a language model with links and membranes
-
Springer
-
K. Ueda, N. Kato: LNMtal-a language model with links and membranes. In Membrane Computing. 5th Intern Workshop, WMC2004. Milan, Italy, June 2004. Revised Selected and Invited Papers, LNCS 3365, Springer, 2005, 110-125.
-
(2005)
Membrane Computing. 5Th Intern Workshop, WMC2004
, vol.3365
, pp. 110-125
-
-
Ueda, K.1
Kato, N.2
-
126
-
-
35048863876
-
P systems for tiling rectangular pictures
-
Tarragona, LNCS
-
R. Ceterchi, R. Gramatovici, N. Jonoska: P systems for tiling rectangular pictures. In Membrane Computing. Intern. Workshop, WMC2003, Tarragona, LNCS 2933, Springer, 2004, 88-103.
-
(2004)
Membrane Computing. Intern. Workshop, WMC2003
, vol.2933
, pp. 88-103
-
-
Ceterchi, R.1
Gramatovici, R.2
Jonoska, N.3
-
127
-
-
0242720145
-
Tissue-like P systems with active membranes for picture generation
-
R. Ceterchi, R. Gramatovici, N. Jonoska, K.G. Subramanian: Tissue-like P systems with active membranes for picture generation. Fundamenta Informaticae, 56, 4 (2003), 311-328.
-
(2003)
Fundamenta Informaticae
, vol.56
, Issue.4
, pp. 311-328
-
-
Ceterchi, R.1
Gramatovici, R.2
Jonoska, N.3
Subramanian, K.G.4
-
129
-
-
84995374185
-
P systems generating hexagonal picture languages
-
GRLMC Report 28/03
-
K.S. Dersanambika, K. Krithivasan, K.G. Subramanian: P systems generating hexagonal picture languages. In Pre-proceedings of Workshop on Membrane Computing, WMC2003, Tarragona, GRLMC Report 28/03, 209-221.
-
Pre-Proceedings of Workshop on Membrane Computing, WMC2003, Tarragona
, pp. 209-221
-
-
Dersanambika, K.S.1
Krithivasan, K.2
Subramanian, K.G.3
-
130
-
-
24144484727
-
P systems generating trees
-
Milan, Italy, June 004. Revised Selected and Invited Papers, LNCS, Springer
-
R. Freund, M. Oswald, A. Păun: P systems generating trees. In Membrane Computing. 5th Intern. Workshop, WMC2004, Milan, Italy, June 004. Revised Selected and Invited Papers, LNCS 3365, Springer, 2005, 309-219.
-
(2005)
Membrane Computing. 5Th Intern. Workshop, WMC2004
, vol.3365
, pp. 219-309
-
-
Freund, R.1
Oswald, M.2
Păun, A.3
-
131
-
-
84995374217
-
P systems used in plant graphics
-
GRLMC Report 28/03
-
A. Georgiou, M. Gheorghe: P systems used in plant graphics. In Preproceedings of Workshop on Membrane Computing, WMC2003, Tarragona, GRLMC Report 28/03, 266-272.
-
Preproceedings of Workshop on Membrane Computing, WMC2003, Tarragona
, pp. 266-272
-
-
Georgiou, A.1
Gheorghe, M.2
-
132
-
-
77950577326
-
Membrane-based devices used in computer graphics
-
A. Georgiou, M. Gheorghe, F. Bernardini: Membrane-based devices used in computer graphics. In AMC 2006, 253-282.
-
(2006)
AMC
, pp. 253-282
-
-
Georgiou, A.1
Gheorghe, M.2
Bernardini, F.3
-
133
-
-
0034887364
-
P systems with picture objects
-
S. N. Krishna, K. Krithivasan, R. Rama: P systems with picture objects. Acta Cybernetica, 15, 1 (2001), 53-74.
-
(2001)
Acta Cybernetica
, vol.15
, Issue.1
, pp. 53-74
-
-
Krishna, S.N.1
Krithivasan, K.2
Rama, R.3
-
134
-
-
33847214926
-
On generating trees by P systems
-
Romania, IEEE Press
-
R. Rama, H. Ramesh: On generating trees by P systems. Proc. SYNASC 05, Timişoara, Romania, IEEE Press, 2005, 462-466.
-
(2005)
Proc. SYNASC 05, Timişoara
, pp. 462-466
-
-
Rama, R.1
Ramesh, H.2
-
135
-
-
77956966592
-
The growth of branching structures with P systems
-
RGNC Report 02/2006
-
A. Romero-Jiménez, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez: The growth of branching structures with P systems. In Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla, 2006, RGNC Report 02/2006, Vol. II, 253-266.
-
(2006)
Proc. Fourth Brainstorming Week on Membrane Computing, Sevilla
, vol.2
, pp. 253-266
-
-
Romero-Jiménez, A.1
Gutiérrez-Naranjo, M.A.2
Pérez-Jiménez, M.J.3
-
136
-
-
34548149014
-
On image generation by sequential/parallel rewriting P systems
-
Anna University, Chennai, IEEE & IETE
-
K.G. Subramanian, S. Hemalatha, C. Sri Hari Nagore: On image generation by sequential/parallel rewriting P systems. In Proc. Intern. Conf. on Signal Processing, Communications and Networking, Anna University, Chennai, IEEE & IETE, 2007, 70-73.
-
(2007)
Proc. Intern. Conf. on Signal Processing, Communications and Networking
, pp. 70-73
-
-
Subramanian, K.G.1
Hemalatha, S.2
Sri Hari Nagore, C.3
-
137
-
-
85043087943
-
Array P systems and basic puzzle grammars. National Conf
-
Gandhigram Rural Institute-Deemed University, India, March
-
K.G. Subramanian, R. Saravanan, K. Rangarajan: Array P systems and basic puzzle grammars. National Conf. in Intelligent Optimization Modeling, Gandhigram Rural Institute-Deemed University, India, March 2006.
-
(2006)
Intelligent Optimization Modeling
-
-
Subramanian, K.G.1
Saravanan, R.2
Rangarajan, K.3
-
138
-
-
35248825062
-
Authentication of messages using P systems
-
Springer
-
A. Atanasiu: Authentication of messages using P systems. In Membrane Computing, International Workshop, WMC-CdeA 2002. Curtea de Argeş, Romania, August 2002, Revised Papers, LNCS 2597, Springer, 2003, 33-42.
-
(2003)
Membrane Computing, International Workshop, Wmc-Cdea 2002. Curtea De Argeş
, vol.2597
, pp. 33-42
-
-
Atanasiu, A.1
-
139
-
-
0037453402
-
Breaking DES using P systems
-
S.N. Krishna, R. Rama: Breaking DES using P systems. Theoretical Computer Sci., 299, 1-3 (2003), 495-508.
-
(2003)
Theoretical Computer Sci
, vol.299
, Issue.1-3
, pp. 495-508
-
-
Krishna, S.N.1
Rama, R.2
-
140
-
-
84959277981
-
An analysis of a public key protocol with membranes
-
O. Michel, F. Jacquemard: An analysis of a public key protocol with membranes. In AMC 2006, 283-302.
-
(2006)
AMC
, pp. 283-302
-
-
Michel, O.1
Jacquemard, F.2
-
141
-
-
84995497104
-
On P systems with active membranes solving integer factorization problem in a polynomial time
-
Springer
-
A. Obtulowicz: On P systems with active membranes solving integer factorization problem in a polynomial time. In Multiset Processing, LNCS 2236, Springer, 2001, 257-286.
-
(2001)
Multiset Processing, LNCS
, vol.2236
, pp. 257-286
-
-
Obtulowicz, A.1
-
142
-
-
0001610692
-
Membrane computing and one-way functions
-
A. Obtulowicz: Membrane computing and one-way functions. Intern. J. Found. Computer Sci., 12, 4 (2001), 551-558.
-
(2001)
Intern. J. Found. Computer Sci
, vol.12
, Issue.4
, pp. 551-558
-
-
Obtulowicz, A.1
-
144
-
-
34248176164
-
P systems based multi-objective optimization algorithm
-
L. Huang, X.-X. He, N. Wang, Y. Xie: P systems based multi-objective optimization algorithm. Progress in Natural Science, 17, 4 (2007), 458-464.
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 458-464
-
-
Huang, L.1
He, X.-X.2
Wang, N.3
Xie, Y.4
-
146
-
-
37349076989
-
Multiobjective optimization of simulated moving bed by tissue P system. Chinese
-
L. Huang, L. Sun, N. Wang, X.M. Jin: Multiobjective optimization of simulated moving bed by tissue P system. Chinese J. Chemical Engineering, 15, 5 (2007), 683-690.
-
(2007)
J. Chemical Engineering
, vol.15
, Issue.5
, pp. 683-690
-
-
Huang, L.1
Sun, L.2
Wang, N.3
Jin, X.M.4
-
147
-
-
33750315446
-
An optimization algorithms inspired by membrane computing
-
Springer
-
L. Huang, N. Wang: An optimization algorithms inspired by membrane computing. In Proc. ICNC 2006, LNCS 4222, Springer, 2006, 49-55.
-
(2006)
Proc. ICNC 2006, LNCS
, vol.4222
, pp. 49-55
-
-
Huang, L.1
Wang, N.2
-
149
-
-
85043076599
-
A variant of P systems for optimization
-
L. Huang, N. Wang: A variant of P systems for optimization. Neurocomputing, 2007.
-
(2007)
Neurocomputing
-
-
Huang, L.1
Wang, N.2
-
150
-
-
85043066793
-
An extension of membrane computing-a type of evolutionary computing
-
China
-
L. Huang, N. Wang: An extension of membrane computing-a type of evolutionary computing. J. Central South Univ., China, 2007.
-
(2007)
J. Central South Univ
-
-
Huang, L.1
Wang, N.2
-
152
-
-
33745653892
-
Membrane algorithm-an approximate algorithm for NPcomplete optimization problems exploiting P systems
-
Vienna, Austria, 2005, Selected and Invited Papers, LNCS, Springer
-
T.Y. Nishida: Membrane algorithm-an approximate algorithm for NPcomplete optimization problems exploiting P systems. In Membrane Computing, International Workshop, WMC6, Vienna, Austria, 2005, Selected and Invited Papers, LNCS 3850, Springer, 2006, 55-66.
-
(2006)
Membrane Computing, International Workshop, WMC6
, vol.3850
, pp. 55-66
-
-
Nishida, T.Y.1
-
153
-
-
58149506974
-
Membrane algorithms. Approximate algorithms for NPcomplete optimization problems
-
T.Y. Nishida: Membrane algorithms. Approximate algorithms for NPcomplete optimization problems. In AMC 2006, 303-314.
-
(2006)
AMC
, pp. 303-314
-
-
Nishida, T.Y.1
-
154
-
-
35648982509
-
Membrane algorithm with Brownian subalgorithm and genetic subalgorithm
-
T.Y. Nishida: Membrane algorithm with Brownian subalgorithm and genetic subalgorithm. Intern. J. Found. Computer Sci., 18, 6 (2007), 1353-1360.
-
(2007)
Intern. J. Found. Computer Sci
, vol.18
, Issue.6
, pp. 1353-1360
-
-
Nishida, T.Y.1
-
155
-
-
84876582159
-
Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems
-
Springer
-
D. Zaharie, G. Ciobanu: Distributed evolutionary algorithms inspired by membranes in solving continuous optimization problems. In Membrane Computing, WMC2006, Leiden, The Netherlands. Revised, Selected and Invited Papers, LNCS 4361, Springer, 2006, 536-554.
-
(2006)
Membrane Computing, WMC2006, Leiden, the Netherlands. Revised, Selected and Invited Papers, LNCS
, vol.4361
, pp. 536-554
-
-
Zaharie, D.1
Ciobanu, G.2
-
157
-
-
85043064630
-
On the relationship between P systems and mobile ambients
-
B. Aman, G. Ciobanu: On the relationship between P systems and mobile ambients. FML Technical Report, http://iit.iit.tuiasi.ro/TR/, 2006.
-
(2006)
FML Technical Report
-
-
Aman, B.1
Ciobanu, G.2
-
158
-
-
0008578522
-
Arithmetic with membranes
-
Univ. Auckland
-
A. Atanasiu: Arithmetic with membranes. In Pre-proc. Workshop on Multiset Processing, Curtea de Argeş, Romania, TR 140, CDMTCS, Univ. Auckland, 2000, 1-17.
-
(2000)
Pre-Proc. Workshop on Multiset Processing, Curtea De Argeş, Romania, TR 140, CDMTCS
, pp. 1-17
-
-
Atanasiu, A.1
-
161
-
-
0001691901
-
Mobile ambients and P systems
-
I. Petre, L. Petre: Mobile ambients and P systems. J. Univ. Computer Science, 5, 9 (1999), 588-598.
-
(1999)
J. Univ. Computer Science
, vol.5
, Issue.9
, pp. 588-598
-
-
Petre, I.1
Petre, L.2
-
162
-
-
9744236666
-
The P system based model for mobile transactions
-
Z. Qi, C. Fu, S. Shi, J. You: The P system based model for mobile transactions. In Fourth Intern. Conf. on Computer and Information Theory, CIT2004, 534-539.
-
Fourth Intern. Conf. on Computer and Information Theory, CIT2004
, pp. 534-539
-
-
Qi, Z.1
Fu, C.2
Shi, S.3
You, J.4
-
163
-
-
4644297110
-
A new formal model based on P systems for mobile transactions
-
Z. Qi, R. Rao, G. Xue, J. You: A new formal model based on P systems for mobile transactions. In Proc. IEEE Intern. Conf. on Services Computing, SCC2004, 16-22.
-
Proc. IEEE Intern. Conf. on Services Computing, SCC2004
, pp. 16-22
-
-
Qi, Z.1
Rao, R.2
Xue, G.3
You, J.4
-
164
-
-
2342665748
-
Simulation of mobile ambients by P systems. Part 1
-
Tarragona, GRLMC Report 28/03, Part 2, Proc. Second Brainstorming Week on Membrane Computing, Sevilla, 2004, RNGC Report 01/2004, 431-442
-
V. Rogozhin, E. Boian: Simulation of mobile ambients by P systems. Part 1, Pre-proceedings of Workshop on Membrane Computing, WMC2003, Tarragona, GRLMC Report 28/03, 404-427. Part 2, Proc. Second Brainstorming Week on Membrane Computing, Sevilla, 2004, RNGC Report 01/2004, 431-442.
-
Pre-Proceedings of Workshop on Membrane Computing, WMC2003
, pp. 404-427
-
-
Rogozhin, V.1
Boian, E.2
-
165
-
-
84995366174
-
Simulation of mobile ambients by tissue P systems with a dynamic network of membranes
-
Oradea, Ed. Univ. Oradea
-
V. Rogojin, E. Boian: Simulation of mobile ambients by tissue P systems with a dynamic network of membranes. In Proc. ICCC, Oradea, Ed. Univ. Oradea, 2004, 377-382.
-
(2004)
Proc. ICCC
, pp. 377-382
-
-
Rogojin, V.1
Boian, E.2
-
166
-
-
84875469988
-
Artificial life applications of a class of P systems: Abstract rewriting systems on multisets
-
Springer
-
Y. Suzuki, Y. Fujiwara, J. Takabayashi, H. Tanaka: Artificial life applications of a class of P systems: Abstract rewriting systems on multisets. In Multiset Processing, LNCS 2236, Springer, 2001, 299-346.
-
(2001)
Multiset Processing, LNCS
, vol.2236
, pp. 299-346
-
-
Suzuki, Y.1
Fujiwara, Y.2
Takabayashi, J.3
Tanaka, H.4
-
167
-
-
84995455306
-
Artificial life and P systems
-
Romania, TR 140, CDMTCS, Univ. Auckland
-
Y. Suzuki, H. Tanaka: Artificial life and P systems. In Pre-proc. Workshop on Multiset Processing, Curtea de Argeş, Romania, TR 140, CDMTCS, Univ. Auckland, 2000, 265-285.
-
(2000)
Pre-Proc. Workshop on Multiset Processing, Curtea De Argeş
, pp. 265-285
-
-
Suzuki, Y.1
Tanaka, H.2
-
168
-
-
24144495222
-
Executable specification of P systems
-
Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.), Springer, Heidelberg
-
Andrei, O., Ciobanu, G., Lucanu, D.: Executable specification of P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 126-145. Springer, Heidelberg (2005)
-
(2005)
WMC 2004. LNCS
, vol.3365
, pp. 126
-
-
Andrei, O.1
Ciobanu, G.2
Lucanu, D.3
-
169
-
-
4344680283
-
Modelling biological processes by using a probabilistic P system software
-
Ardelean, I.I., Cavaliere, M.: Modelling biological processes by using a probabilistic P system software. Natural Computing 2(2), 173-197 (2003)
-
(2003)
Natural Computing
, vol.2
, Issue.2
, pp. 173-197
-
-
Ardelean, I.I.1
Cavaliere, M.2
-
170
-
-
24144439786
-
A P systems description of the sodium-potassium pump
-
Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.), Springer, Heidelberg
-
Besozzi, D., Ciobanu, G.: A P systems description of the sodium-potassium pump. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 210-223. Springer, Heidelberg (2005)
-
(2005)
WMC 2004. LNCS
, vol.3365
, pp. 210
-
-
Besozzi, D.1
Ciobanu, G.2
-
171
-
-
33746190600
-
P systems with reaction maps
-
Bianco, L., Fontana, F., Manca, V.: P systems with reaction maps. International Journal of Foundations of Computer Science 17(1), 27-48 (2006)
-
(2006)
International Journal of Foundations of Computer Science
, vol.17
, Issue.1
, pp. 27-48
-
-
Bianco, L.1
Fontana, F.2
Manca, V.3
-
172
-
-
26444592298
-
Brane calculi: Interactions of biological membranes
-
Danos, V., Schachter, V. (eds.), Springer, Heidelberg
-
Cardelli, L.: Brane calculi: Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005)
-
(2005)
CMSB 2004. LNCS (LNBI)
, vol.3082
, pp. 257
-
-
Cardelli, L.1
-
173
-
-
34248187425
-
Simulating fas-induced apoptosis by using P systems
-
Cheruku, S., Paun, A., Romero-Campero, F.J., Pérez-Jiménez, M.J., Ibarra, O.H.: Simulating fas-induced apoptosis by using P systems. Progress in Natural Science 17(4), 424-431 (2007)
-
(2007)
Progress in Natural Science
, vol.17
, Issue.4
, pp. 424-431
-
-
Cheruku, S.1
Paun, A.2
Romero-Campero, F.J.3
Pérez-Jiménez, M.J.4
Ibarra, O.H.5
-
174
-
-
34247882680
-
P systems with minimal parallelism
-
Ciobanu, G., Pan, L., Păun, G.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117-130 (2007)
-
(2007)
Theoretical Computer Science
, vol.378
, Issue.1
, pp. 117-130
-
-
Ciobanu, G.1
Pan, L.2
Păun, G.3
-
175
-
-
33745665071
-
P systems and the modelling of biochemical oscillations
-
Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.), Springer, Heidelberg
-
Fontana, F., Bianco, L., Manca, V.: P systems and the modelling of biochemical oscillations. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 199-208. Springer, Heidelberg (2006)
-
(2006)
WMC 2005. LNCS
, vol.3850
, pp. 199
-
-
Fontana, F.1
Bianco, L.2
Manca, V.3
-
176
-
-
33847096787
-
Discrete solutions to differential equations by metabolic P systems
-
Fontana, F., Manca, V.: Discrete solutions to differential equations by metabolic P systems. Theoretical Computer Science 372(2-3), 165-182 (2007)
-
(2007)
Theoretical Computer Science
, vol.372
, Issue.2-3
, pp. 165
-
-
Fontana, F.1
Manca, V.2
-
177
-
-
33746189735
-
P systems working in the sequential mode on arrays and strings
-
Freund, R.: P systems working in the sequential mode on arrays and strings. International Journal of Foundations of Computer Science 16(4), 663-682 (2005)
-
(2005)
International Journal of Foundations of Computer Science
, vol.16
, Issue.4
, pp. 663-682
-
-
Freund, R.1
-
178
-
-
34249950625
-
Stochastic simulation of chemical kinetics
-
Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem. 58, 35-55 (2007)
-
(2007)
Annu. Rev. Phys. Chem
, vol.58
, pp. 35-55
-
-
Gillespie, D.T.1
-
179
-
-
0032499741
-
Quantitative modelling of stochastic system in molecular biology by using stochastic petri nets
-
Goss, P.J., Peccoud, J.: Quantitative modelling of stochastic system in molecular biology by using stochastic petri nets. Proc. Natl. Acad. Sci. USA 95, 6750-6755 (1998)
-
(1998)
Proc. Natl. Acad. Sci. USA
, vol.95
, pp. 6750-6755
-
-
Goss, P.J.1
Peccoud, J.2
-
180
-
-
38649122071
-
Probabilistic model checking of complex biological pathways
-
Heath, J., Kwiatkowska, M.Z., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science 391(3), 239-257 (2008)
-
(2008)
Theoretical Computer Science
, vol.391
, Issue.3
, pp. 239-257
-
-
Heath, J.1
Kwiatkowska, M.Z.2
Norman, G.3
Parker, D.4
Tymchyshyn, O.5
-
181
-
-
34548060449
-
Stochastic model checking
-
Bernardo, M., Hillston, J. (eds.), Springer, Heidelberg
-
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220-270. Springer, Heidelberg (2007)
-
(2007)
SFM 2007. LNCS
, vol.4486
, pp. 220
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
182
-
-
26444487339
-
Signaling p systems and verification problems
-
Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.), Springer, Heidelberg
-
Li, C., Dang, Z., Ibarra, O.H., Yen, H.-C.: Signaling p systems and verification problems. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1462-1473. Springer, Heidelberg (2005)
-
(2005)
ICALP 2005. LNCS
, vol.3580
, pp. 1462
-
-
Li, C.1
Dang, Z.2
Ibarra, O.H.3
Yen, H.-C.4
-
185
-
-
33746209343
-
Dynamical probabilistic p systems
-
Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic p systems. International Journal of Foundations of Computer Science 17(1), 183-195 (2006)
-
(2006)
International Journal of Foundations of Computer Science
, vol.17
, Issue.1
, pp. 183-195
-
-
Pescini, D.1
Besozzi, D.2
Mauri, G.3
Zandron, C.4
-
187
-
-
0030026495
-
Qualitative analysis of biochemical reaction systems
-
Reddy, V., Liebman, M., Maverovouniotis, M.: Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine 26(1), 9-24 (1996)
-
(1996)
Computers in Biology and Medicine
, vol.26
, Issue.1
, pp. 9-24
-
-
Reddy, V.1
Liebman, M.2
Maverovouniotis, M.3
-
188
-
-
4444383325
-
Bioambients: An abstraction for biological compartments
-
Regev, A., Panina, E., Silvermann, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science 325, 141-167 (2004)
-
(2004)
Theoretical Computer Science
, vol.325
, pp. 141-167
-
-
Regev, A.1
Panina, E.2
Silvermann, W.3
Cardelli, L.4
Shapiro, E.5
-
189
-
-
33644516416
-
The π-calculus as an abstraction for biomolecular systems
-
Springer, Berlin
-
Regev, A., Shapiro, E.: The π-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology, pp. 1-50. Springer, Berlin (2004)
-
(2004)
Modelling in Molecular Biology
, pp. 1-50
-
-
Regev, A.1
Shapiro, E.2
-
190
-
-
38049049900
-
A model of the quorum sensing system in vibrio fischeri using P systems
-
Romero-Campero, F.J., Pérez-Jiménez, M.J.: A model of the quorum sensing system in vibrio fischeri using P systems. Artificial Life 14(1), 95-109 (2008)
-
(2008)
Artificial Life
, vol.14
, Issue.1
, pp. 95-109
-
-
Romero-Campero, F.J.1
Pérez-Jiménez, M.J.2
-
191
-
-
38949145309
-
Modelling gene expression control using P systems: The lac operon, a case study
-
Romero-Campero, F.J., Pérez-Jiménez, M.J.: Modelling gene expression control using P systems: The lac operon, a case study. BioSystems 91(3), 438-457 (2008)
-
(2008)
Biosystems
, vol.91
, Issue.3
, pp. 438-457
-
-
Romero-Campero, F.J.1
Pérez-Jiménez, M.J.2
|