-
1
-
-
84944214361
-
Hybrid modelling and simulation of biomolecular networks
-
Springer
-
Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H. and Schug, J. (2001) Hybrid Modelling and Simulation of Biomolecular Networks. Proc. of Hybrid Systems: Computation and Control, LNCS 2034, Springer, 19-32.
-
(2001)
Proc. of Hybrid Systems: Computation and Control LNCS 2034
, pp. 19-32
-
-
Alur, R.1
Belta, C.2
Ivancic, F.3
Kumar, V.4
Mintz, M.5
Pappas, G.J.6
Rubin, H.7
Schug, J.8
-
2
-
-
58149308066
-
Type disciplines for analysing biologically relevant properties
-
Elsevier
-
Aman, B., Dezani-Ciancaglini, M., Troina, A. (2008) Type Disciplines for Analysing Biologically Relevant Properties. Proc. of MeCBIC'08, ENTCS 227, Elsevier, 97-111.
-
(2008)
Proc. of MeCBIC'08, ENTCS 227
, pp. 97-111
-
-
Aman, B.1
Dezani-Ciancaglini, M.2
Troina, A.3
-
3
-
-
34547481363
-
Extending the calculus of looping sequences to model protein interaction at the domain level
-
Springer
-
Barbuti, R., Maggiolo-Schettini, A. and Milazzo, P. (2007) Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. Proc. of ISBRA'07, LNBI 4463, Springer, 638-649.
-
(2007)
Proc. of ISBRA'07, LNBI 4463
, pp. 638-649
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
-
4
-
-
33747069635
-
A calculus of looping sequences for modelling microbiological systems
-
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. and Troina, A. (2006) A Calculus of Looping Sequences for Modelling Microbiological Systems. Fund. Inform., 72, 21-35.
-
(2006)
Fund. Inform
, vol.72
, pp. 21-35
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
Troina, A.4
-
5
-
-
33845917590
-
Bisimulation congruences in the calculus of looping sequences
-
Springer
-
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. and Troina, A. (2006) Bisimulation Congruences in the Calculus of Looping Sequences. Proc. of ICTAC'06, LNCS 4281, Springer, 93-107.
-
(2006)
Proc. of ICTAC'06, LNCS 4281
, pp. 93-107
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
Troina, A.4
-
6
-
-
67650330232
-
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways
-
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tiberi, P., Troina, A. (2008) Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Transactions on Computational Systems Biology, vol. 9, 86-113.
-
(2008)
Transactions on Computational Systems Biology
, vol.9
, pp. 86-113
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
Tiberi, P.4
Troina, A.5
-
7
-
-
46249116926
-
Bisimulations in calculi modelling membranes
-
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., and Troina, A. (2008) Bisimulations in Calculi Modelling Membranes. Formal Aspects of Computing, 20, 351-377.
-
(2008)
Formal Aspects of Computing
, vol.20
, pp. 351-377
-
-
Barbuti, R.1
Maggiolo-Schettini, A.2
Milazzo, P.3
Troina, A.4
-
8
-
-
85051079984
-
EnVy: A context-dependent calculus for biological systems
-
Elsevier, to appear
-
Bortolussi, L. and Vigliotti, M.G. EnVy: A Context-dependent Calculus for Biological Systems. Proc. of QAPL'09, ENTCS, Elsevier, to appear.
-
Proc. of QAPL'09, ENTCS
-
-
Bortolussi, L.1
Vigliotti, M.G.2
-
9
-
-
26444592298
-
Brane Calculi. Interactions of biological membranes
-
Springer
-
Cardelli, L. (2005) Brane Calculi. Interactions of Biological Membranes. Proc. of CMSB'04, LNCS 3082, Springer, 257-280.
-
(2005)
Proc. of CMSB'04, LNCS 3082
, pp. 257-280
-
-
Cardelli, L.1
-
10
-
-
4444226201
-
Modeling and querying biomolecular interaction networks
-
Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F. and Schachter, V. (2004)Modeling and Querying Biomolecular Interaction Networks. Theor. Comput. Sci., 325, 25-44.
-
(2004)
Theor. Comput. Sci.
, vol.325
, pp. 25-44
-
-
Chabrier-Rivier, N.1
Chiaverini, M.2
Danos, V.3
Fages, F.4
Schachter, V.5
-
11
-
-
4444324902
-
Modelling biochemical pathways through enhanced pi-calculus
-
Curti, M., Degano, P., Priami, C., and Baldari, C. T. (2004) Modelling Biochemical Pathways through Enhanced pi-calculus. Theor. Comput. Sci., 325, 111-140.
-
(2004)
Theor. Comput. Sci.
, vol.325
, pp. 111-140
-
-
Curti, M.1
Degano, P.2
Priami, C.3
Baldari, C.T.4
-
12
-
-
38149064616
-
Scalable modelling of biological pathways
-
Springer
-
Danos, V., Feret, J., Fontana, W., and Krivine, J. (2007) Scalable Modelling of Biological Pathways. Proc. of APLAS'07, LNCS 4807, Springer, 139-157.
-
(2007)
Proc. of APLAS'07, LNCS 4807
, pp. 139-157
-
-
Danos, V.1
Feret, J.2
Fontana, W.3
Krivine, J.4
-
13
-
-
4444382239
-
Formal molecular biology
-
Danos, V. and Laneve, C. (2004) Formal Molecular Biology. Theor. Comput. Sci., 325, 69-110.
-
(2004)
Theor. Comput. Sci.
, vol.325
, pp. 69-110
-
-
Danos, V.1
Laneve, C.2
-
14
-
-
85051002108
-
A type system for required/excluded elements in CLS
-
to appear
-
Dezani-Ciancaglini, M., Giannini, P. and Troina, A. (2009) A Type System for Required/Excluded Elements in CLS. Proc. of DCM'09, EPTCS, to appear.
-
(2009)
Proc. of DCM'09, EPTCS
-
-
Dezani-Ciancaglini, M.1
Giannini, P.2
Troina, A.3
-
15
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
Gillespie, D. (1977) Exact Stochastic Simulation of Coupled Chemical Reactions. J. Phys. Chem., 81, 2340-2361.
-
(1977)
J. Phys. Chem
, vol.81
, pp. 2340-2361
-
-
Gillespie, D.1
-
17
-
-
54049131291
-
Stochastic bigraphs
-
Elsevier
-
Krivine, J., Milner, R. and Troina, A. (2008) Stochastic Bigraphs. Proc. ofMFPS'08, ENTCS 218, Elsevier, 73-96.
-
(2008)
Proc. OfMFPS'08, ENTCS 218
, pp. 73-96
-
-
Krivine, J.1
Milner, R.2
Troina, A.3
-
18
-
-
0033648431
-
Hybrid petri net representation of gene regulatory network
-
World Scientific Press
-
Matsuno, H., Doi, A., Nagasaki, M. and Miyano, S. (2000) Hybrid Petri Net Representation of Gene Regulatory Network. Proc. of Pacific Symposium on Biocomputing, World Scientific Press, 341-352.
-
(2000)
Proc. of Pacific Symposium on Biocomputing
, pp. 341-352
-
-
Matsuno, H.1
Doi, A.2
Nagasaki, M.3
Miyano, S.4
-
20
-
-
76849092686
-
Rule-based programming for integrative biological modelling - Application to the modelling of the lambda phage genetic switch
-
to appear
-
Michel, O., Spicher, A., Giavitto, J.L. (2009) Rule-based Programming for Integrative Biological Modelling - Application to the Modelling of the Lambda Phage Genetic Switch. Natural Computing, Springer, to appear.
-
(2009)
Natural Computing Springer
-
-
Michel, O.1
Spicher, A.2
Giavitto, J.L.3
-
22
-
-
26444448026
-
Beta binders for biological interactions
-
Springer
-
Priami, C. and Quaglia, P. (2005) Beta Binders for Biological Interactions. Proc. of CMSB'04, LNCS 3082, Springer, 20-33.
-
(2005)
Proc. of CMSB'04, LNCS 3082
, pp. 20-33
-
-
Priami, C.1
Quaglia, P.2
-
23
-
-
0035888407
-
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
-
Priami, C., Regev, A., Shapiro, E. and Silverman, W. (2001) Application of a Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes. Inform. Process. Lett., 80, 25-31.
-
(2001)
Inform. Process. Lett
, vol.80
, pp. 25-31
-
-
Priami, C.1
Regev, A.2
Shapiro, E.3
Silverman, W.4
-
24
-
-
4444383325
-
BioAmbients: An abstraction for biological compartments
-
Regev, A., Panina, E. M., Silverman, W., Cardelli, L. and Shapiro, E. (2004) BioAmbients: An Abstraction for Biological Compartments. Theor. Comput. Sci., 325, 141-167.
-
(2004)
Theor. Comput. Sci.
, vol.325
, pp. 141-167
-
-
Regev, A.1
Panina, E.M.2
Silverman, W.3
Cardelli, L.4
Shapiro, E.5
-
25
-
-
0035235039
-
Representation and simulation of biochemical processes using the pi-calculus process algebra
-
World Scientific Press
-
Regev, A., Silverman, W. and Shapiro, E. Y. (2001) Representation and Simulation of Biochemical Processes Using the Pi-calculus Process Algebra. Proc. of Pacific Symposium on Biocomputing, World Scientific Press, 459-470.
-
(2001)
Proc. of Pacific Symposium on Biocomputing
, pp. 459-470
-
-
Regev, A.1
Silverman, W.2
Shapiro, E.Y.3
-
28
-
-
0031105797
-
Mathematical model of the lac operon: Inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose
-
Wong, P., Gladney, S. and Keasling, J. D. (1997) Mathematical Model of the Lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose. Biotechnology Progress, 13, 132-143.
-
(1997)
Biotechnology Progress
, vol.13
, pp. 132-143
-
-
Wong, P.1
Gladney, S.2
Keasling, J.D.3
|