-
2
-
-
21344458620
-
Synthetic biology
-
10.1038/nrg1637
-
SA Benner M Sismour 2005 Synthetic biology Nat Rev Genet 6 533 543 10.1038/nrg1637
-
(2005)
Nat Rev Genet
, vol.6
, pp. 533-543
-
-
Benner, S.A.1
Sismour, M.2
-
3
-
-
0043095484
-
Dynamical aspects of P systems
-
10.1016/S0303-2647(03)00032-7
-
F Bernardini V Manca 2003 Dynamical aspects of P systems BioSystems 70 2 85 93 10.1016/S0303-2647(03)00032-7
-
(2003)
BioSystems
, vol.70
, Issue.2
, pp. 85-93
-
-
Bernardini, F.1
Manca, V.2
-
4
-
-
33846847647
-
Quorum sensing P systems
-
1108.68051 10.1016/j.tcs.2006.10.012 2298663
-
F Bernardini M Gheorghe N Krasnogor 2007 Quorum sensing P systems Theor Comput Sci 371 1-2 20 33 1108.68051 10.1016/j.tcs.2006.10.012 2298663
-
(2007)
Theor Comput Sci
, vol.371
, Issue.12
, pp. 20-33
-
-
Bernardini, F.1
Gheorghe, M.2
Krasnogor, N.3
-
5
-
-
38549104046
-
-
Springer Berlin
-
Bernardini F, Gheorghe M, Romero-Campero FJ, Walkinshaw N (2007b) A hybrid approach to modeling biological systems. Lecture notes in computer science, vol 4860. Springer, Berlin, pp 138-159
-
(2007)
A Hybrid Approach to Modeling Biological Systems. Lecture Notes in Computer Science
, vol.4860
, pp. 138-159
-
-
Bernardini, F.1
Gheorghe, M.2
Romero-Campero, F.J.3
Walkinshaw, N.4
-
6
-
-
60349105950
-
MetaPlab: A computational framework for metabolic P systems
-
Edinburgh, UK
-
Castellini A, Manca V (2008) MetaPlab: a computational framework for metabolic P systems. Pre-proceedings WMC 2008, Edinburgh, UK
-
(2008)
Pre-proceedings WMC 2008
-
-
Castellini, A.1
Manca, V.2
-
7
-
-
44949108265
-
MP systems and hybrid Petri nets
-
10.1007/978-3-540-78987-1-5
-
A Castellini V Manca L Marchetti 2008 MP systems and hybrid Petri nets Stud Comput Intell 129 53 62 10.1007/978-3-540-78987-1-5
-
(2008)
Stud Comput Intell
, vol.129
, pp. 53-62
-
-
Castellini, A.1
Manca, V.2
Marchetti, L.3
-
8
-
-
0034688173
-
A synthetic oscillatory network of transcriptional regulators
-
10.1038/35002125
-
MB Elowitz S Leibler 2000 A synthetic oscillatory network of transcriptional regulators Nature 403 20 335 338 10.1038/35002125
-
(2000)
Nature
, vol.403
, Issue.20
, pp. 335-338
-
-
Elowitz, M.B.1
Leibler, S.2
-
9
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
10.1109/32.908957
-
M Ernst J Cockrell W Griswold D Notkin 2001 Dynamically discovering likely program invariants to support program evolution IEEE Trans Softw Eng 27 2 99 123 10.1109/32.908957
-
(2001)
IEEE Trans Softw Eng
, vol.27
, Issue.2
, pp. 99-123
-
-
Ernst, M.1
Cockrell, J.2
Griswold, W.3
Notkin, D.4
-
10
-
-
33847096787
-
Discrete solutions to differential equations by metabolic P systems
-
1125.68052 10.1016/j.tcs.2006.11.030 2303144
-
F Fontana V Manca 2007 Discrete solutions to differential equations by metabolic P systems Theor Comput Sci 372 2-3 165 182 1125.68052 10.1016/j.tcs.2006.11.030 2303144
-
(2007)
Theor Comput Sci
, vol.372
, Issue.23
, pp. 165-182
-
-
Fontana, F.1
Manca, V.2
-
11
-
-
34249950625
-
Stochastic simulation of chemical kinetics
-
10.1146/annurev.physchem.58.032806.104637
-
DT Gillespie 2007 Stochastic simulation of chemical kinetics Annu Rev Phys Chem 58 35 55 10.1146/annurev.physchem.58.032806.104637
-
(2007)
Annu Rev Phys Chem
, vol.58
, pp. 35-55
-
-
Gillespie, D.T.1
-
12
-
-
0026006671
-
A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase
-
10.1073/pnas.88.20.9107
-
A Goldbeter 1991 A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase PNAS 88 9107 9111 10.1073/pnas.88.20.9107
-
(1991)
PNAS
, vol.88
, pp. 9107-9111
-
-
Goldbeter, A.1
-
14
-
-
33746511697
-
Probabilistic model checking in practice: Case studies with PRISM
-
10.1145/1059816.1059820
-
M Kwiatkowska G Norman D Parker 2005 Probabilistic model checking in practice: case studies with PRISM ACM SIGMETRICS Perform Eval Rev 32 4 16 21 10.1145/1059816.1059820
-
(2005)
ACM SIGMETRICS Perform Eval Rev
, vol.32
, Issue.4
, pp. 16-21
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
15
-
-
84877293012
-
Metabolic P systems for biochemical dynamics
-
1149.92315 10.1080/10020070708541014 2332690
-
V Manca 2007 Metabolic P systems for biochemical dynamics Prog Nat Sci 17 4 384 391 1149.92315 10.1080/10020070708541014 2332690
-
(2007)
Prog Nat Sci
, vol.17
, Issue.4
, pp. 384-391
-
-
Manca, V.1
-
17
-
-
49249124575
-
The metabolic algorithm for P systems: Principles and applications
-
1151.68020 10.1016/j.tcs.2008.04.015 2446993
-
V Manca 2008 The metabolic algorithm for P systems: principles and applications Theor Comput Sci 404 1-2 142 157 1151.68020 10.1016/j.tcs.2008.04. 015 2446993
-
(2008)
Theor Comput Sci
, vol.404
, Issue.12
, pp. 142-157
-
-
Manca, V.1
-
19
-
-
67650436228
-
Fundamentals of metabolic P systems
-
G. Paun G. Rozenberg A. Salomaa (eds). Oxford University Press Oxford
-
Manca V (2009) Fundamentals of metabolic P systems. In: Paun G, Rozenberg G, Salomaa A (eds) Handbook of membrane computing, Chap. 16. Oxford University Press, Oxford
-
(2009)
Handbook of Membrane Computing, Chap. 16
-
-
Manca, V.1
-
20
-
-
38949178395
-
Biological networks in metabolic P systems
-
10.1016/j.biosystems.2006.11.009
-
V Manca L Bianco 2008 Biological networks in metabolic P systems BioSystems 91 3 489 498 10.1016/j.biosystems.2006.11.009
-
(2008)
BioSystems
, vol.91
, Issue.3
, pp. 489-498
-
-
Manca, V.1
Bianco, L.2
-
21
-
-
24144439293
-
-
Springer Berlin
-
Manca V, Bianco L, Fontana F (2005) Evolutions and oscillations of P systems: applications to biological phenomena. Lecture notes in computer science, vol 3365. Springer, Berlin, pp 63-84
-
(2005)
Evolutions and Oscillations of P Systems: Applications to Biological Phenomena. Lecture Notes in Computer Science
, vol.3365
, pp. 63-84
-
-
Manca, V.1
Bianco, L.2
Fontana, F.3
-
22
-
-
67650453856
-
A photosynthetic process modelled by a metabolic P system
-
(in press). doi: 10.1007/s11047-008-9104-x
-
Manca V, Pagliarini R, Zorzan S (2008) A photosynthetic process modelled by a metabolic P system. Nat Comput (in press). doi: 10.1007/s11047-008-9104-x
-
(2008)
Nat Comput
-
-
Manca, V.1
Pagliarini, R.2
Zorzan, S.3
-
23
-
-
0034248380
-
Computing with membranes
-
0956.68055 10.1006/jcss.1999.1693
-
Gh Pǎun 2000 Computing with membranes J Comput Syst Sci 61 108 143 0956.68055 10.1006/jcss.1999.1693
-
(2000)
J Comput Syst Sci
, vol.61
, pp. 108-143
-
-
Gh, P.1
-
25
-
-
38049050864
-
P Systems, a new computational modelling tool for systems biology
-
LNBI
-
Pérez-Jiménez MJ, Romero-Campero FJ (2006) P Systems, a new computational modelling tool for systems biology. Transactions on Computational Systems Biology VI, LNBI, vol 4220, pp 176-197
-
(2006)
Transactions on Computational Systems Biology VI
, vol.4220
, pp. 176-197
-
-
Pérez-Jiménez Mj, R.1
-
26
-
-
33746209343
-
Dynamical probabilistic P systems
-
1088.68062 10.1142/S0129054106003760 2201341
-
D Pescini D Besozzi G Mauri C Zandron 2006 Dynamical probabilistic P systems Intern J Found Comput Sci 17 183 204 1088.68062 10.1142/ S0129054106003760 2201341
-
(2006)
Intern J Found Comput Sci
, vol.17
, pp. 183-204
-
-
Pescini, D.1
Besozzi, D.2
Mauri, G.3
Zandron, C.4
-
27
-
-
38049049900
-
A model of the quorum sensing system in Vibrio fischeri using P systems
-
10.1162/artl.2008.14.1.95
-
FJ Romero-Campero MJ Pérez-Jiménez 2008 A model of the quorum sensing system in Vibrio fischeri using P systems Artif Life 14 1 1 15 10.1162/artl.2008.14.1.95
-
(2008)
Artif Life
, vol.14
, Issue.1
, pp. 1-15
-
-
Romero-Campero, F.J.1
Pérez-Jiménez, M.J.2
-
28
-
-
84876560146
-
-
Springer Berlin
-
Romero-Campero FJ, Gheorghe M, Ciobanu G, Bianco L, Pescini D, Pérez-Jiménez MJ, Ceterchi R (2006) Towards probabilistic model checking on P systems using PRISM. Lecture notes in computer science, vol 4361. Springer, Berlin, pp 477-495
-
(2006)
Towards Probabilistic Model Checking on P Systems Using PRISM. Lecture Notes in Computer Science
, vol.4361
, pp. 477-495
-
-
Romero-Campero, F.J.1
Gheorghe, M.2
Ciobanu, G.3
Bianco, L.4
Pescini, D.5
Pérez-Jiménez, M.J.6
Ceterchi, R.7
-
30
-
-
57349119885
-
Structure and parameter estimation for cell systems biology models
-
July 12-16, Atlanta, USA
-
Romero-Campero FJ, Cao H, Cámara M, Krasnogor N (2008) Structure and parameter estimation for cell systems biology models. In: Proceedings of the Genetic and Evolutionary Computation Conference, July 12-16, Atlanta, USA, pp 331-338
-
(2008)
Proceedings of the Genetic and Evolutionary Computation Conference
, pp. 331-338
-
-
Romero-Campero Fj, C.1
-
31
-
-
67650242026
-
Modular assembly of cell systems biology models using P systems
-
Romero-Campero FJ, Twycross J, Cámara M, Bennett M, Gheorghe M, Krasnogor N (2009) Modular assembly of cell systems biology models using P systems. Int J Found Comput Sci 20:427-442
-
(2009)
Int J Found Comput Sci
, vol.20
, pp. 427-442
-
-
Romero-Campero Fj, T.1
|